• Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language Lean
  • License
    Apache License 2.0
  • Created over 8 years ago
  • Updated about 8 years ago