4 ms·
Software foundations: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/
by mbrodersen 4y ago
Software foundations:
https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/
- debanjan16 4y agoWhat 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.