3 ms·
How to prove software correct using proof assistants. It will make you a better developer even if you never use it at work. And it is good fun. Like a puzzle ga
by deterministic 4y ago
How to prove software correct using proof assistants. It will make you a better developer even if you never use it at work. And it is good fun. Like a puzzle game.