- Theorem Proving in Lean (a computer proof assistant) https://leanprover.github.io/theorem_proving_in_lean/#01_introduction.html 14 comments math
Linking pages
- Ideas for high-impact careers beyond our priority paths - 80,000 Hours https://80000hours.org/2020/08/ideas-for-high-impact-careers-beyond-our-priority-paths 0 comments
- GitHub - leanprover/lean: Lean Theorem Prover https://github.com/leanprover/lean 0 comments
- Curry–Howard correspondence – bor0's blog https://bor0.wordpress.com/2017/11/27/curry-howard-correspondence/ 0 comments
- GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments
Related searches:
Search whole site: site:leanprover.github.io
Search title: Theorem Proving in Lean — Theorem Proving in Lean 3.23.0 documentation
See how to search.