Aiden Bai
@aidenybai
on a mission to fix the web
参加 January 2020
2K フォロー中 70.5K ファン
Introducing TLA-ts
A 2× faster drop-in replacement for TLC, written 100% in TypeScript
Why? TLA+ for formal verification and model checking is great!... but is written in Java (ew), unusable in browser, and slow
もっと見る
