Alejandro Calle Saldarriaga (@acallesalda)
github

acallesalda

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,190,286 (Top 42 %)
  • Followers 3
  • Following 15
  • Registered about 8 years ago
  • Most used languages
    Agda     100.0 %
  • Location 🇨🇴 Colombia
  • Country Total Rank 2,654
  • Country Ranking
    Agda     1

Top repositories

1

setform

Set Theory Formalization in Agda
Agda
7
star