Show HN: Bisimia – A TLA+ environment that runs in the browser

(bisimia.com)

2 points | by cipherself 9 hours ago ago