A constructive and formal proof of Lebesgue's Dominated Convergence Theorem in the interactive theorem prover Matita (2008)

by Claudio Sacerdoti Coen , Enrico Tassi
Venue:JOURNAL OF FORMALIZED REASONING
Citations:7 - 4 self