ahelwer

TLA⁺ core developer

ahelwer.ca

Posts

• TLA⁺ is more than a DSL for breadth-first search
  by ahelweron 9/18/24, 4:57 PMwith 2 comments
• TLA⁺ Unicode support: Learning to work with others in open source
  by ahelweron 5/28/24, 5:01 PMwith 0 comments
• Wrangling Monotonic Systems in TLA+
  by ahelweron 11/1/23, 7:01 PMwith 7 comments
• FOSS I Love: Local game streaming with Sunshine and Moonlight
  by ahelweron 4/29/23, 2:52 PMwith 1 comments