Alex Kavvos (@lambdabetaeta)
github

lambdabetaeta

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    22
  • Global Rank 603,566 (Top 21 %)
  • Followers 33
  • Following 24
  • Registered about 10 years ago
  • Most used languages
    Agda     66.7 %
    TeX
         33.3 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 2,174
  • Country Ranking
    Agda     2
    TeX
         152

Top repositories

1

modal-logics

Agda formalisation of dual-context constructive modal logics.
Agda
20
star
2

pls-tt-tutorial

TeX
1
star
3

unquote-n

Agda
1
star