Filter your results
- 4
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
4 Results
|
|
sorted by
|
|
Des transformations logiques passent leur certificatJFLA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Conference papers
hal-02384946v2
|
||
|
SMTCoq: automatisation expressive et extensible dans CoqJFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
Conference papers
hal-02369249v1
|
||
|
Démonstration automatique en Coq[Travaux universitaires] Paris Diderot; Laboratoire de recherche en informatique (LRI) UMR CNRS 8623, Université Paris-Sud. 2018
Reports
hal-01874777v1
|
||
|
Certification de la transformation de tâches de preuveLogique en informatique [cs.LO]. Université Paris-Saclay, 2022. Français. ⟨NNT : 2022UPASG006⟩
Theses
tel-03560564v1
|