1 search result for "tag:"date:2026-03-09""
Showing 1 - 1
-
coq-mk-real-number-completeness
No documentation
Proof of the equivalence of the real number completeness theorems based on Morse-Kelley axiomatic set theory1.0.0LGPL-2.1-onlyUsed by 0 other packages09 Mar 2026