abella (math/abella) Updated: 4 months, 2 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
2024-Oct-25 to 2024-Nov-24
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.