- 1
Sylvie Boldo
1
Documents
Identifiants chercheurs
- sboldo
- 0000-0002-1970-3019
- IdRef : 112505821
Présentation
Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
A Coq Formalization of the Bochner integral[Research Report] RR-9456, Inria Saclay - Île de France; Inria de Paris. 2022
Rapport
hal-03516749v2
|