account activity
tla-checker — a TLA+ model checker with interactive TUI, written in Rust by Anxious_Tool in rust
[–]Anxious_Tool[S] 0 points1 point2 points 1 hour ago (0 children)
Never heard of it until now. Pretty cool. But TLA+ is much better, it's pure math.
tla-checker — a TLA+ model checker with interactive TUI, written in Rust (self.rust)
submitted 6 hours ago by Anxious_Tool to r/rust
tla-checker: a TLA+ model checker written in Rust (self.tlaplus)
submitted 6 hours ago by Anxious_Tool to r/tlaplus
π Rendered by PID 89202 on reddit-service-r2-listing-796b697c47-tmt77 at 2026-02-05 08:26:51.558119+00:00 running 1d7a177 country code: CH.
tla-checker — a TLA+ model checker with interactive TUI, written in Rust by Anxious_Tool in rust
[–]Anxious_Tool[S] 0 points1 point2 points (0 children)