Pedro Sánchez Terraf (@sterraf)
github

sterraf

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,849,779 (Top 64 %)
  • Registered about 8 years ago
  • Most used languages
    Lean     100.0 %
  • Location 🇦🇷 Argentina
  • Country Ranking
    Lean     1

Top repositories

1

ChainBounding

Formalization of a simpler proof of Zorn's Lemma
Lean
3
star