Manu Gunther (@manugunther)
github

manugunther

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 4
  • Registered over 13 years ago
  • Most used languages
    Agda     100.0 %
  • Location 🇦🇷 Argentina
  • Country Total Rank 7,739
  • Country Ranking
    Agda     3

Top repositories

1

agda-universal-algebra

Formalization of Universal Algebra in Agda
Agda
3
star