Linking pages
- Don’t Implement Unification by Recursion | Hey There Buddo! https://www.philipzucker.com/unify/ 60 comments
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
Related searches:
Search whole site: site:www.cl.cam.ac.uk
Search title: Code and resources for "Handbook of Practical Logic and Automated Reasoning"
See how to search.