Axioms of the Theory of Nescience in Coq format, and proofs of some basic properties.
Check http://www.mathematicsunknown.com/ for more information about the Theory of Nescience.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Axioms of the Theory of Nescience in Coq format, and proofs of some basic properties.
Check http://www.mathematicsunknown.com/ for more information about the Theory of Nescience.