Aiden Bai
@aidenybai
on a mission to fix the web
Joined January 2020
2K Following 70.5K Followers
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
Show more
