Arch Linux User Repository
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
AUR : isabelle-linter.git
AUR Package Repositories | click
here
to return to the package base details page
about
summary
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
README.md
blob: b3ba86557775b347dd6d34730cc0ae700830c610 (
plain
)
1
2
3
# Isabelle linter
Found here: <https://github.com/isabelle-prover/isabelle-linter>