Valiantagda vs Nanorange

NanorangeValiantagda
Stars2995
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit3 years ago6 months ago
Total Releases
Latest Release
Open Issues12
Licensebsl-1.0bsd-3-clause
Programming LanguageC++Agda