Lobsters
- A Python frozenset interpretation of Dependent Type Theory https://www.philipzucker.com/frozenset_dtt/ 3 comments formalmethods , plt
Linked pages
- [2212.11082] Introduction to Homotopy Type Theory https://arxiv.org/abs/2212.11082 104 comments
- Built-in Functions — Python 3.13.2 documentation https://docs.python.org/3/library/functions.html#input 92 comments
- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 74 comments
- GitHub - andrejbauer/marshall: Real number computation software https://github.com/andrejbauer/marshall 47 comments
- Dependent type - Wikipedia https://en.wikipedia.org/wiki/Dependent_type 15 comments
- GitHub - philzook58/knuckledragger: Semi-Automated Python Proof Assistant https://github.com/philzook58/knuckledragger 2 comments
- http://www.cse.chalmers.se/research/group/logic/book/book.pdf 0 comments
- http://www.cse.chalmers.se/~peterd/papers/DependentTypesAtWork.pdf 0 comments
- A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo! http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/ 0 comments
- Computational Category Theory in Python I: Dictionaries for FinSet | Hey There Buddo! http://www.philipzucker.com/computational-category-theory-in-python-i-dictionaries-for-finset/ 0 comments
- Finite Set Theory in Python | Hey There Buddo! https://www.philipzucker.com/finiteset/ 0 comments
- https://www.danielgratzer.com/papers/type-theory-book.pdf 0 comments
Related searches:
Search whole site: site:www.philipzucker.com
Search title: A Python frozenset interpretation of Dependent Type Theory | Hey There Buddo!
See how to search.