• Stars
    star
    6
  • Rank 2,488,764 (Top 50 %)
  • Language Agda
  • Created over 7 years ago
  • Updated about 7 years ago