Filter your results
- 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 Results
|
|
sorted by
|
|
A refinement-based approach to large scale reflection for algebraJFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Conference papers
hal-01414881v1
|
||
|
OptiTrust: an Interactive Framework for Source-to-Source Transformations2022
Preprints, Working Papers, ...
hal-03773485v1
|
||
|
Formalization Techniques for Asymptotic Reasoning in Classical AnalysisJournal of Formalized Reasoning, 2018
Journal articles
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⟩
Conference papers
hal-01639819v2
|
||
|
A Formal Proof in Coq of LaSalle's Invariance PrincipleInteractive Theorem Proving, Sep 2017, Brasilia, Brazil. ⟨10.1007/978-3-319-66107-0_10⟩
Conference papers
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
Conference papers
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⟩
Conference papers
hal-01107944v1
|