Ftfjp 2019 vs Dot Iris

Dot IrisFtfjp 2019
Stars295
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit9 months ago5 years ago
Total Releases
Latest Release
Open Issues9
Licenseother
Programming LanguageHTMLCoq