Sharing a library between proof assistants: Reaching out to the HOL family F Thiré arXiv preprint arXiv:1807.01873, 2018 | 33 | 2018 |
Some axioms for mathematics F Blanqui, G Dowek, É Grienenberger, G Hondet, F Thiré FSCD 2021-6th International Conference on Formal Structures for Computation …, 2021 | 32 | 2021 |
A modular construction of type theories F Blanqui, G Dowek, E Grienenberger, G Hondet, F Thiré Logical Methods in Computer Science 19, 2023 | 14 | 2023 |
Interoperability between proof systems using the logical framework Dedukti F Thiré Université Paris-Saclay, 2020 | 13 | 2020 |
Logipedia: a multi-system encyclopedia of formal proofs G Dowek, F Thiré arXiv preprint arXiv:2305.00064, 2023 | 8 | 2023 |
Interoperability between proof systems using the logical framework Dedukti.(Interopérabilité entre systèmes de preuve en utilisant le cadre logique Dedukti). F Thiré École normale supérieure Paris-Saclay, Cachan, France, 2020 | 5 | 2020 |
Interoperability between proof systems using the Dedukti logical framework F Thiré PhD thesis, Université Paris-Saclay, France, 2020 | 4 | 2020 |
Cumulative types systems and levels F Thiré LFMTP 2019-Logical Frameworks and Meta-Languages: Theory and Practice, 2019 | 2 | 2019 |
Exporting an Arithmetic Library from Dedukti to HOL F Thiré | | 2017 |
Interoperability between arithmetic proofs using Dedukti G Dowek, S Graham-Lengrand, F Thiré International School On Rewriting 2017, 2017 | | 2017 |
Internship report MPRI 2 Reverse engineering on arithmetic proofs F Thiré ENS Cachan; Paris Diderot University, 2016 | | 2016 |
HAL Id: hal-04060141 G Dowek, F Thiré | | |
Interoperabilitybetweenarithmeticproofs usingDedukti F Thiré | | |