• Stars
    star
    65
  • Rank 473,702 (Top 10 %)
  • Language Coq
  • License
    BSD 3-Clause "New...
  • Created over 7 years ago
  • Updated over 2 years ago