Acorn

https://github.com/acornprover/acornprover.org

The main website for the Acorn theorem prover, built with Docusaurus for easy documentation...

Tokens:18,429
Snippets:156
Trust Score:4.7
License:Apache-2.0
Update:1 year ago
Tokens:
Raw