Spectacle – A browser-native playground for TLA+

2 points | by we6251 5 hours ago