Valiantagda vs Go Tsz

Go TszValiantagda
Stars3855
Downloads
Dependent Packages3
Dependent Repos
Most Recent Commit6 years ago6 months ago
Total Releases1
Latest ReleaseFebruary 27, 2018
Open Issues2
Licensebsd-2-clausebsd-3-clause
Programming LanguageGoAgda