abella (math/abella) Updated: 1 year, 4 months ago Add to my watchlist
Interactive theorem proverAbella is an interactive theorem prover based on lambda-tree syntax. This means that Abella is well-suited for reasoning about the meta-theory of programming languages and other logical systems which manipulate objects with binding.
Version: 2.0.7 License: GPL-3
GitHub
| Maintainers | barracuda156 |
| Categories | math ocaml |
| Homepage | https://abella-prover.org |
| Platforms | darwin |
| Variants | - |
"abella" depends on
lib (1)
build (4)
Ports that depend on "abella"
No ports
Port Health:
Loading Port Health
Installations (30 days)
2
Requested Installations (30 days)
2
Livecheck results
abella seems to have been updated (port version: 2.0.7, new version: 2.0.8)
livecheck ran: 5 hours ago