abella (math/abella) Updated: 1 year 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
Statistics for selected duration
2025-Jun-15 to 2025-Jul-15
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.