Miguel Pagano (@miguelpagano)
github

miguelpagano

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,106,139 (Top 39 %)
  • Followers 12
  • Registered over 13 years ago
  • Most used languages
    Haskell
         50.0 %
    Agda     50.0 %
  • Location ๐Ÿ‡ฆ๐Ÿ‡ท Argentina
  • Country Total Rank 5,599
  • Country Ranking
    Agda     2
    Haskell
         28

Top repositories

1

nominal-sets

Agda
4
star
2

equ

Chequeador de demostraciones de lรณgica ecuacional
Haskell
2
star
3

universal-algebra

Formalization of Universal Algebra
Agda
1
star
4

yahc

yahc is a checker for derivations of propositional calculus. Its main goal is to help first year students.
Haskell
1
star