Top
New
Ask
Show
ahelwer
TLA⁺ core developer
ahelwer.ca
9123 karma
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