Upfi vs Plane

PlaneUpfi
Stars22,1656
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit5 months ago2 years ago
Total Releases
Latest Release
Open Issues276
Licenseagpl-3.0
Programming LanguageTypeScriptTypeScript