theobold

↗ HN profile [ 22.9 ms ] full profile

Karma: 45
Created: September 15, 2016 (9y ago)
Submissions: 0

Yet another example that TLA+ is math, not programming (old.reddit.com)

18 points 5y ago 0