LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

OCaml

tlapm

The TLA Proof Manager

OCamlEmerging

Stars

—

Forks

—

Contributors

8

Last push

12mo ago

Recent commits

Latest commits.

Merge pull request #211 from tlaplus/lsp-rename-step-v2
e9b8bb5Karolis Petrauskas14mo ago
Small fixes in LSP step rename command.
139c5d5Karolis Petrauskas14mo ago
Merge pull request #210 from tlaplus/lsp-rename-steps-renumber
f919bccKarolis Petrauskas14mo ago
Cleanup.
3e59669Karolis Petrauskas14mo ago
Skip unnamed steps.
1ef0470Karolis Petrauskas14mo ago

Looks like working.

17fda8eKarolis Petrauskas14mo ago

Unit tests pass.

d7a97deKarolis Petrauskas14mo ago

Merge pull request #209 from tlaplus/fix-use-stderr-in-parser

93d0246Damien Doligez14mo ago

Top contributors

Builders behind this project.