Laboratoire des Sciences du Numérique de Nantes (FR)
Laboratoire de l'Informatique du Parallélisme (FR)
Université de Rennes (FR)
Nantes Université (FR)
Publication Details
Journal
SPIRE - Sciences Po Institutional REpository
Published
2025-12-06
Primary Topic
Historical Linguistics and Language Studies
Type
article
Field-Weighted Citation Impact
0.00
Funders
Grand Équipement National De Calcul Intensif
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article
Babel-formal: Translation of Proofs between Lean and Rocq
Nicolas Tabareau, Cyril Cohen, Théo Stoskopf
Journal
SPIRE - Sciences Po Institutional REpository
Topics
Historical Linguistics and Language Studies
article
Babel-formal: Translation of Proofs between Lean and Rocq
Nicolas Tabareau, Cyril Cohen, Théo Stoskopf
article en
Abstract
No abstract available for this paper.
Publication Tag
SPIRE - Sciences Po Institutional REpository
Institutions
École Normale Supérieure de Lyon (FR), Laboratoire des Sciences du Numérique de Nantes (FR), Laboratoire de l'Informatique du Parallélisme (FR), Université de Rennes (FR), Nantes Université (FR)