- Record: found
- Abstract: not found
- Book Chapter: not found
Interactive Theorem Proving
Three Chapters of Measure Theory in Isabelle/HOL
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references9
- Record: found
- Abstract: not found
- Book Chapter: not found
A HOL Theory of Euclidean Space
John Harrison (2005)
- Record: found
- Abstract: not found
- Book Chapter: not found
On the Formalization of the Lebesgue Integration Theory in HOL
Tarek Mhamdi, Osman Hasan, Sofiène Tahar (2010)