PrototypeCommune
tlaplus/tlapm
The TLA⁺ Proof Manager
- Propriétaire
- tlaplus (organisation)
- Étoiles
- Étoiles : 138
- Forks
- Forks : 46
- Langage
- OCaml
- Licence
- BSD-2-Clause
- Création
- 2017
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de tlaplus
Les 7 dépôts de tlaplus- tlaplus/tlaplusÉtoiles : 3 169JavaRC
- tlaplus/ExamplesÉtoiles : 1 596TLABêta
- tlaplus/DrTLAPlusÉtoiles : 860TLABêta
- tlaplus/vscode-tlaplusÉtoiles : 441TypeScriptAlpha
- tlaplus/CommunityModulesÉtoiles : 318TLAAlpha
- tlaplus/PlusPyÉtoiles : 120PythonPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- ml-in-barcelona/jsoo-reactÉtoiles : 138OCamlPrototype
- engboris/stellogenÉtoiles : 138OCamlPrototype
- melange-community/create-melange-appÉtoiles : 138OCamlPrototype