RedPRL/sml-redprl

Readme
Issues
Stargazers
Watchers

Eta and EqCap of fcom types

Closed this issue 7 years ago · 0 comments

favonia commented 7 years ago

Eta and EqCap of fcom types

Topics

nuprl proof-assistant type-theory cubical-type-theory

Share to

Contact site admin: Geeks.