1 paper
Reynald Affeldt, Zachary Stone
Formalization of real analysis offers a chance to rebuild traditional proofs of important theorems as unambiguous theories that can be interactively explored. This paper provides a…