search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Add Apalache checkmark for EinstinRiddle + comment #117

Closed nano-o closed 9 months ago

nano-o commented 9 months ago

Forgot to add the checkmark...