Filtrer vos résultats
- 6
- 1
- 5
- 1
- 1
- 7
- 1
- 1
- 1
- 2
- 2
- 1
- 7
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 7
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 résultats
|
|
|
triés par
|
|
|
A refinement-based approach to large scale reflection for algebraJFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Communication dans un congrès
hal-01414881v1
|
||
|
|
Formalization Techniques for Asymptotic Reasoning in Classical AnalysisJournal of Formalized Reasoning, 2018
Article dans une revue
hal-01719918v3
|
||
|
|
A Formal Proof in Coq of a Control Function for the Inverted PendulumCPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.1-14, ⟨10.1145/3167101⟩
Communication dans un congrès
hal-01639819v2
|
||
|
|
OptiTrust: an Interactive Framework for Source-to-Source Transformations2022
Pré-publication, Document de travail
hal-03773485v1
|
||
|
|
A Formal Proof in Coq of LaSalle's Invariance PrincipleInteractive Theorem Proving, Sep 2017, Brasilia, Brazil. ⟨10.1007/978-3-319-66107-0_10⟩
Communication dans un congrès
hal-01612293v1
|
||
|
|
Competing inheritance paths in dependent type theory: a case study in functional analysisIJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
Communication dans un congrès
hal-02463336v2
|
||
|
|
Axiomatic constraint systems for proof search modulo theories10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Sep 2015, Wroclaw, Poland. ⟨10.1007/978-3-319-24246-0_14⟩
Communication dans un congrès
hal-01107944v1
|