ahelwer

Karma: 9,123
Created: 14 years ago

About

TLA⁺ core developer

ahelwer.ca

Recent Submissions

1. ▲ TLA⁺ is more than a DSL for breadth-first search (ahelwer.ca) 9 points · 1 year ago · 2 comments
2. ▲ TLA⁺ Unicode support: Learning to work with others in open source (ahelwer.ca) 3 points · 1 year ago · 0 comments
3. ▲ Wrangling Monotonic Systems in TLA+ (ahelwer.ca) 67 points · 2 years ago · 7 comments

All submissions on HN · View profile on HN