3 ms·
With TLA+ in particular I reckon I could probably teach my parents how to do use it the only maths you really need for simple specifications is being able to th
by mhh__ 4y ago
With TLA+ in particular I reckon I could probably teach my parents how to do use it the only maths you really need for simple specifications is being able to think mathematically