Acorn

https://github.com/acornprover/acorn

Acorn is the core implementation of the Acorn language, featuring its theorem prover, language...

Tokens:12,157
Snippets:101
Trust Score:5.1
License:Apache-2.0
Update:5 months ago
Tokens:
Raw