Gitstar Ranking

leanprover / Pantograph

(Mirror) A Machine-to-Machine Interaction System for Lean 4 - View it on GitHub
https://git.leni.sh/aniva/Pantograph
Star
52
Rank
494109