Reduction Effects vs Coq Tutorial Ml Tactics

Coq Tutorial Ml TacticsReduction Effects
Stars226
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit8 years ago9 months ago
Total Releases
Latest Release
Open Issues32
Licensempl-2.0
Programming LanguageOCamlMakefile