Conceptio › Archive › HAL (France)
HAL (France)open access

Translating proofs from Lean to Dedukti

Rishikesh Vaishnav
HAL (France) · Papers · License: Open Access
Open Source ↗
Théorie des types, Type theory, 1, Lambda-pi calculus modulo rewriting, Interopérabilité des systèmes de preuve, 0, Proof system interoperability, Calcul lambda-pi modulo réécriture
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗
Record · ID 157504
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.