| 1 |
Improving Automation for Higher-Order Proof Steps
|
|
|
|
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Elpi: an extension language for Coq (Metaprogramming Coq in the Elpi λProlog dialect)
|
|
|
|
In: https://hal.inria.fr/hal-01637063 ; 2018 (2018)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Initiation à R
|
|
|
|
In: ISSN: 1769-7387 ; La revue MODULAD ; https://hal.inria.fr/inria-00138008 ; La revue MODULAD, Modulad, 2007, 37, pp.83-101 (2007)
|
|
BASE
|
|
Show details
|
|
|
|
|
