abella (math/abella) Updated: 8 months, 4 weeks 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-Mar-04 to 2025-Apr-03
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.