Pantograph

https://github.com/leanprover/pantograph

Pantograph is a machine-to-machine interaction system for Lean 4 that provides interfaces to...

Tokens:4,646
Snippets:40
Trust Score:7.9
License:Apache-2.0
Update:1 week ago
Tokens:
Raw