lambdapi

Notoriété 52 %

Lambdapi est un assistant de preuve basé sur le λΠ-calcul modulo réécriture, offrant des interfaces utilisateur pour Emacs et VSCode. Il permet de certifier des preuves pour différents systèmes de preuve, tels que TLAPS, Atelier B, Rodin, LISA, et Why3.

Dépôt de code

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

Cas d'utilisation métiers

Assistance à la preuve basée sur le λΠ-calcul
Certification de preuves pour différents systèmes de preuve

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)

Outils utilisés

Visual Studio Code
date-fns
TypeScript
ts-mockito
Node.js

Description générée le lundi 18 mars 2024 à 23:23:29

D'autres initiatives de la même organisation

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