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.8.3 License: GPL-3
GitHub
| Maintainers | barracuda156 |
| Categories | math ocaml |
| Homepage | https://abella-prover.org |
| Platforms | darwin |
| Variants | - |
"abella" depends on
lib (5)
build (4)
test (1)
Ports that depend on "abella"
No ports
Port Health:
Loading Port Health