Study notes of Software Foundations
- Ex Falso Quodlibet.
- From falsehood follows whatever you like.
- Algorithms are the computational content of proofs. โ Robert Harper
- References:
The book includes 5 parts:
- Logical Foundations
(src/lf)
- Programming Language Foundations
(src/plf)
- Verified Functional Algorithms
(src/vfa)
- QuickChick
(src/qc)
- Verifiable C
(src/vc)