- 2
NT
Nicolas Tabareau
2
Documents
Présentation
Publications
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
The MetaCoq ProjectJournal of Automated Reasoning, 2020, ⟨10.1007/s10817-019-09540-0⟩
Article dans une revue
hal-02167423v1
|
|
Towards Certified Meta-Programming with Typed Template-CoqITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩
Communication dans un congrès
hal-01809681v1
|