Knuckledragger

https://github.com/philzook58/knuckledragger

Knuckledragger is a down-to-earth, highly automated interactive proof assistant in Python that...

Tokens:35,893
Snippets:352
Trust Score:9.8
License:MIT
Update:2 months ago
Tokens:
Raw