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 a minimum, so far just in order to give a home to today’s
added pointer also to
Simon Henry, Weak model categories in classical and constructive mathematics (arXiv:1807.02650)
Nicola Gambino, Simon Henry, Towards a constructive simplicial model of Univalent Foundations (arXiv:1905.06281)
1 to 5 of 5