tlaplus/tlapm tlaplus/tlapm

  • Stars
    star
    66
  • Rank 468,167 (Top 10 %)
  • Language
    OCaml
  • License
    BSD 2-Clause "Sim...
  • Created almost 7 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tlaplus/tlapm
github

tlaplus

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The TLA Proof Manager

More Repositories

1

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java
2,301
star
2

Examples

A collection of TLA⁺ specifications of varying complexities
TLA
1,280
star
3

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification
TLA
813
star
4

vscode-tlaplus

TLA+ language support for Visual Studio Code
TypeScript
352
star
5

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
TLA
269
star
6

PlusPy

Python interpreter for TLA+ specifications
Python
113
star
7

foundation

TLA+ Foundation
HTML
23
star
8

PlusCalCheatSheet

PlusCal Cheat Sheet by Stephan Merz
TeX
20
star
9

rfcs

RFCs for changes to the TLA+ specification language
13
star
10

lecture

The TLA+ Video Course by Leslie Lamport
HTML
8
star
11

patterns

7
star
12

tlaplus-standard

A collection of various standards, proposed or established, related to TLA+
TLA
4
star
13

tla_python

A parser for TLA+, the Temporal Logic of Actions
Python
3
star
14

Survey

Results TLA+ Surveys
2
star
15

www

http://www.tlapl.us
HTML
1
star