A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine. A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. In Marsha Chechik, Joost-Pieter Katoen, Martin Leucker, editors, Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Volume 14000 of Lecture Notes in Computer Science, pages 39-55, Springer, 2023. [doi]

This author has not been identified. Look up 'Sylvie Boldo' in GoogleThis author has not been identified. Look up 'François Clément' in GoogleThis author has not been identified. Look up 'Vincent Martin' in GoogleThis author has not been identified. Look up 'Micaela Mayero' in GoogleThis author has not been identified. Look up 'Houda Mouhcine' in Google

runs on WebDSL