3 ms·
The Bible of formal software logic, free of charge: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/
by homodeus 4y ago
The Bible of formal software logic, free of charge: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/
- practal 4y agoIf you are more practical than religious, try this: https://functional-algorithms-verified.org https://functional-algorithms-verified.org