LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

TLA

Examples

A collection of TLA+ specifications of varying complexities

TLAEmerging

Stars

—

Forks

—

Contributors

8

Last push

9mo ago

Recent commits

Latest commits.

Replace Functions and FunctionTheorems with Fork variants
9ece37bMarkus Alexander Kuppe9mo ago
Manifest: added proof runtimes
a3ecae1Andrew Helwer10mo ago
Manifest: removed model size field in favor of runtime
3c0c83bAndrew Helwer10mo ago
Manifest: remove path, title, and description fields
cad798eAndrew Helwer10mo ago
Added B-tree spec to CI validation
b209722Andrew Helwer10mo ago

Added a B-tree TLA⁺ specification

5e90e0eLorin Hochstein24mo ago

Added barrier and peterson's algorithm specs to CI

18c5810Andrew Helwer10mo ago

Removed model (.cfg) file features from manifests (#182)

4414f33Andrew Helwer10mo ago

Top contributors

Builders behind this project.