3 ms·
What do they teach?
by debanjan16 4y ago
What do they teach?
- deterministic 4y agoHow 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.