• Stars
    star
    29
  • Rank 860,307 (Top 17 %)
  • Language Lean
  • License
    Apache License 2.0
  • Created almost 3 years ago
  • Updated 4 months ago