Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

PrototypeCommune

abella-prover/abella

An interactive theorem prover based on lambda-tree syntax

Propriétaire: abella-prover (organisation)
Étoiles: Étoiles : 101
Forks: Forks : 22
Langage: OCaml
Licence: GPL-3.0
Création: 2009
Sujets: lambda-calculusmeta-theoryinteractive-theorem-proving
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts OCaml

Tous les dépôts OCaml

dbuenzli/vgÉtoiles : 101OCamlPrototype
squaresLab/genprog-codeÉtoiles : 101OCamlPrototype
utkarshkukreti/reamlÉtoiles : 101OCamlPrototype
nv-vn/TelegraMLÉtoiles : 100OCamlPrototype