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.
1 to 2 of 2
copied from the HoTT wiki Anonymous <a href="https://ncatlab.org/nlab/revision/book+homotopy+type+theory/1">v1</a>, <a href="https://ncatlab.org/nlab/show/book+homotopy+type+theory">current</a>
copied from the HoTT wiki
Anonymous
v1, current
Move to history, merged into [[Book HoTT]] <a href="https://ncatlab.org/nlab/revision/diff/book+homotopy+type+theory+%3E+history/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/book+homotopy+type+theory+%3E+history/4">v4</a>, <a href="https://ncatlab.org/nlab/show/book+homotopy+type+theory+%3E+history">current</a>
Move to history, merged into Book HoTT
diff, v4, current