lean2dk

Notoriété 22 %

The lean2dk project is a translation tool that converts formal proofs from the Lean proof assistant to the Dedukti system, facilitating the exchange of formal proofs between different systems and promoting the use of formal methods in mathematics and computer science.

Dépôt de code

https://github.com/Deducteam/lean2dk (nouvelle fenêtre)11 étoiles

Cas d'utilisation métiers

Translation of formal proofs from Lean to Dedukti
Facilitation of formal proof exchange between different systems
Promotion of formal methods in mathematics and computer science

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace
    - Établissements d'enseignement supérieur et de recherche - Ministère chargé de l'Enseignement supérieur
      - École normale supérieure Paris-Saclay (organisation rattachée)

Description générée le lundi 18 mars 2024 à 11:19:43

D'autres initiatives de la même organisation

lambdapi
github.com/Deducteam/lambdapi
Logipedia
github.com/Deducteam/Logipedia
Agda2Dedukti
github.com/Deducteam/Agda2Dedukti
Zenon Modulo
github.com/Deducteam/zenon_modulo