lambdapi-logics

Notoriété 18 %

Dépôt de code source contenant des définitions de logiques formelles, y compris la logique polymorphe du premier ordre (TFF), la théorie U introduite dans Axioms for Mathematics, et des fichiers de logique utilisés par l'assistant de preuve automatisé ZenonModulo. Il contient également une implémentation de l'embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo.

Dépôt de code

https://github.com/Deducteam/lambdapi-logics (nouvelle fenêtre)7 étoiles

Cas d'utilisation métiers

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 mardi 19 mars 2024 à 14:35:45

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