Gitstar Ranking

leanprover / PyPantograph

A Machine-to-Machine Interaction System for Lean 4. - View it on GitHub
https://centaur.stanford.edu/PyPantograph/
Star
2
Rank
4345503