• Stars
    star
    26
  • Rank 930,752 (Top 19 %)
  • Language Coq
  • License
    Apache License 2.0
  • Created over 6 years ago
  • Updated 2 months ago