AlphaPeu commune
jrh13/hol-light
The HOL Light theorem prover
- Propriétaire
- jrh13 (compte personnel)
- Étoiles
- Étoiles : 563
- Forks
- Forks : 100
- Langage
- OCaml
- Licence
- Aucune
- Création
- 2015
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- mukul-rathi/boltÉtoiles : 605OCamlAlpha
- caffeinelabs/motokoÉtoiles : 592OCamlAlpha
- 0install/0installÉtoiles : 583OCamlAlpha
- briskml/briskÉtoiles : 555OCamlAlpha
- mahsu/MariOCamlÉtoiles : 543OCamlAlpha
- vult-dsp/vultÉtoiles : 542OCamlAlpha