wkolowski/Type-Theory-Wishlist

Personal research notes

Coq

Readme
0Issues
5Stargazers
2Watchers

No issues in this repository yet.

Topics

type-theory homotopy-type-theory cubical-type-theory dependent-types proof-assistant nominal-set term-rewriting programming-languages functional-programming

Contact site admin: Geeks.