From 026003d88c72809c11b3642c49c8d0a4c8e6f1f5 Mon Sep 17 00:00:00 2001 From: coquand Date: Fri, 3 Jul 2015 13:30:17 +0200 Subject: [PATCH] update README --- README.md | 3 --- 1 file changed, 3 deletions(-) diff --git a/README.md b/README.md index 48acfff..72c45fb 100644 --- a/README.md +++ b/README.md @@ -69,9 +69,6 @@ References and notes sets](http://www.cse.chalmers.se/~coquand/vv.pdf) - main definitions towards a formalization - * [Lecture Notes on Cubical - sets](http://www.cse.chalmers.se/~coquand/course3.pdf) - * [A Cubical Approach to Synthetic Homotopy Theory](http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf), Dan Licata, Guillaume Brunerie. -- 2.34.1