A repository containing an implementation of certain Types (such as Nat, Bool, etc.) in Coq, with Theorems and Functions
Primary LanguageCoqApache License 2.0Apache-2.0
No issues in this repository yet.