Linking pages
- GitHub - err0r500/foundational-knowledge-for-programmers: List of resources about foundational knowledge for programmers (supposed to last a few decades) https://github.com/err0r500/foundational-knowledge-for-programmers 1 comment
- Proofs and computation with trees – bor0's blog https://bor0.wordpress.com/2020/06/20/proofs-and-computation-with-trees/ 0 comments
- Towards Hoare logic for a small imperative language in Haskell – bor0's blog https://bor0.wordpress.com/2021/01/18/towards-hoare-logic-for-a-small-imperative-language-in-haskell/ 0 comments
- Theorem proving in Coq https://kuruczgy.com/blog/2023/06/18/theorem-proving-in-coq/ 0 comments
Related searches:
Search whole site: site:softwarefoundations.cis.upenn.edu
Search title: Logical Foundations
See how to search.