Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
started cubical type theory using a comment by Jonathan Sterling
Which part of the entry is the quote?
everything below “quoting Jonathan Sterling”.
I have pointed him to the entry, so that he can edit as need be.
Thanks, Urs! I’ve made a minor clarification. Soon, I may add more to this page to reflect the work done by two groups here at CMU on cartesian versions of cubical type theory.
@spitters This new one is still not equivalent to simplicial sets right?
1 to 10 of 10