• Stars
    star
    36
  • Rank 735,472 (Top 15 %)
  • Language Lean
  • License
    Apache License 2.0
  • Created almost 4 years ago
  • Updated almost 2 years ago