Use this tag for questions about dependent types, which are families of types which vary over elements of another type.
References:
About
Stats
|
created |
2 years, 7 months ago by Guy Coder |
|
viewed |
20 times |
|
active |
2 years, 7 months ago |
|
editors |
2 |
Top Answerers
more »
Recent Hot Answers
Has anyone ever accidentally "proven" a false theorem with type-in-type?Has anyone ever accidentally "proven" a false theorem with type-in-type?
What are the bases for different Proof Assistants?
What are the bases for different Proof Assistants?
What are the motivations for different variants of categorical models of dependent type?
more »