Acornlib

https://github.com/acornprover/acornlib

Acornlib is Acorn's standard mathematics library, written in Acorn, that builds mathematical facts...

Tokens:5,308
Snippets:37
Trust Score:5.1
License:Apache-2.0
Update:5 months ago
Tokens:
Raw