AlphaPeu commune
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
- Propriétaire
- Deducteam (organisation)
- Étoiles
- Étoiles : 409
- Forks
- Forks : 47
- Langage
- OCaml
- Licence
- Aucune
- Création
- 2017
- Sujets
- proof-checkerproof-assistantrewritingdependent-typeslogical-frameworkproof-translator
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de Deducteam
Les 2 dépôts de Deducteam- Deducteam/DeduktiÉtoiles : 241OCamlPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- raven-ml/ravenÉtoiles : 414OCamlAlpha
- yallop/ocaml-ctypesÉtoiles : 412OCamlAlpha
- aantron/lambdasoupÉtoiles : 409OCamlAlpha
- geneweb/genewebÉtoiles : 408OCamlAlpha
- c-cube/qcheckÉtoiles : 407OCamlAlpha
- mmmdbybyd/CLNCÉtoiles : 406OCamlAlpha