Logipedia

Notoriété 36 %

Logipedia is a project that aims to translate and share formal proofs between several systems. The website displaying all available proofs can be reached at http://logipedia.science.

Dépôt de code

https://github.com/Deducteam/Logipedia (nouvelle fenêtre)67 étoiles

Cas d'utilisation métiers

Sharing of formal proofs through a website
Translation of formal proofs between different systems
Management and organization of formal proofs

Cas d'utilisation fonctionnels

Possède un système de recherche
Possède un système d'authentification
Est disponible en plusieurs langues
Expose une API

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)

Outil utilisé

MkDocs

Description générée le mardi 19 mars 2024 à 15:59:05

D'autres initiatives de la même organisation

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