PrototypeCommon
tlaplus/tlapm
The TLA⁺ Proof Manager
- Owner
- tlaplus (organization)
- Stars
- Stars: 138
- Forks
- Forks: 46
- Language
- OCaml
- License
- BSD-2-Clause
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by tlaplus
All 7 repos by tlaplus- tlaplus/tlaplusStars: 3,169JavaRC
- tlaplus/ExamplesStars: 1,596TLABeta
- tlaplus/DrTLAPlusStars: 860TLABeta
- tlaplus/vscode-tlaplusStars: 441TypeScriptAlpha
- tlaplus/CommunityModulesStars: 318TLAAlpha
- tlaplus/PlusPyStars: 120PythonPrototype
Nearby in OCaml
All OCaml repos- ml-in-barcelona/jsoo-reactStars: 138OCamlPrototype
- engboris/stellogenStars: 138OCamlPrototype
- melange-community/create-melange-appStars: 138OCamlPrototype