149 citations · 563 across the 54 of their papers we have counts for
1 paper · 2 filters
Cezary Kaliszyk, Russell O'Connor
There are two incompatible Coq libraries that have a theory of the real numbers; the Coq standard library gives an axiomatic treatment of classical real numbers, while the CoRN lib…