author | Vladimir Voevodsky <vladimir @ ias . edu> | |
Sun, 2 Aug 2015 18:10:26 +0000 (01:10 +0700) | ||
committer | Vladimir Voevodsky <vladimir @ ias . edu> | |
Sun, 2 Aug 2015 18:10:26 +0000 (01:10 +0700) | ||
commit | 9ed8a85a69284ad1d065379bbcd011c742eac0b3 | |
tree | 51be4b310b33cc1ba9d9a9bbaae7cf9531a7a8bd | tree | snapshot |
parent | f34f35af4e1c888638b16488c73a7df2c4d034b4 | commit | diff |
README.md | diff | blob | blame | history |