PyPantograph

https://github.com/stanford-centaur/pypantograph

PyPantograph is a machine-to-machine interaction system for Lean 4 designed to train and evaluate...

Tokens:12,789
Snippets:139
Trust Score:7.6
License:Apache-2.0
Update:2 months ago
Tokens:
Raw