The link to Voevodsky's webpage in README updated
authorVladimir Voevodsky <vladimir @ ias . edu>
Sun, 2 Aug 2015 18:10:26 +0000 (01:10 +0700)
committerVladimir Voevodsky <vladimir @ ias . edu>
Sun, 2 Aug 2015 18:10:26 +0000 (01:10 +0700)
commit9ed8a85a69284ad1d065379bbcd011c742eac0b3
tree51be4b310b33cc1ba9d9a9bbaae7cf9531a7a8bd
parentf34f35af4e1c888638b16488c73a7df2c4d034b4
The link to Voevodsky's webpage in README updated
README.md