DMCA

Constructive Reals in Coq: Axioms and Categoricity

Cached

Download Links

by Herman Geuvers , Milad Niqui
Citations:17 - 2 self