Lobsters
Linking pages
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- GitHub - rossant/awesome-math: A curated list of awesome mathematics resources https://github.com/rossant/awesome-math 12 comments
- GitHub - picrin/deMorgan.lean https://github.com/picrin/deMorgan.lean 5 comments
- GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:leanprover.github.io
Search title: Logic and Proof — Logic and Proof 3.18.4 documentation
See how to search.