ahelwer

Joined 12/11/2011, 8:48:47 PM has 9123 karma

TLA⁺ core developer

ahelwer.ca

Posts

TLA⁺ is more than a DSL for breadth-first search
by ahelwer on 9/18/2024, 4:57:45 PM with 2 comments
TLA⁺ Unicode support: Learning to work with others in open source
by ahelwer on 5/28/2024, 5:01:22 PM with 0 comments
Wrangling Monotonic Systems in TLA+
by ahelwer on 11/1/2023, 7:01:41 PM with 7 comments