A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem : Formal methods (25th International symposium, FM 2023)
In: Lecture notes in computer science 14000:39-55; Jg. 14000 (2023) S. 39-55
Konferenz
Zugriff:
Titel: |
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem : Formal methods (25th International symposium, FM 2023)
|
---|---|
Autor/in / Beteiligte Person: | Boldo, Sylvie ; Clément, François ; Martin, Vincent ; Mayero, Micaela ; Mouhcine, Houda |
Link: | |
Quelle: | Lecture notes in computer science 14000:39-55; Jg. 14000 (2023) S. 39-55 |
Veröffentlichung: | 2023 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|