RedPRL/sml-redprl

Readme
Issues
Stargazers
Watchers

Sync .mlb and .cm

Closed this issue 2 years ago · 0 comments

favonia commented 7 years ago

Sync .mlb and .cm

Topics

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

Share to

Contact site admin: Geeks.