ahelwer
10 years ago by invitation from cbilson
2980
43, most commonly tagged formalmethods
514
https://ahelwer.ca/
https://github.com/ahelwer
@ahelwer@discuss.systems
Independent software engineering consultant focused on formal methods and distributed systems. TLA⁺ enthusiast!