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
더 보기
