ahelwer

TLA⁺ is more than a DSL for breadth-first search

9 points by ahelwer 9 months ago | 2 comments

TLA⁺ Unicode support: Learning to work with others in open source

3 points by ahelwer 1 year ago | 0 comments

Wrangling Monotonic Systems in TLA+

67 points by ahelwer 1 year ago | 7 comments