Lean3 vs Trepplein

Lean3Trepplein
Stars2,13818
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit7 months ago2 years ago
Total Releases
Latest Release
Open Issues583
Licenseapache-2.0apache-2.0
Programming LanguageC++Scala