E.: A constructive and formal proof of Lebesgues Dominated Convergence Theorem in the interactive theorem prover Matita (2008)

Cached

Download Links

by Claudio Sacerdoti Coen , Enrico Tassi
Venue:Journal of Formalized Reasoning
Citations:7 - 4 self