|
|
|
|
|
|
by Bakkot
4742 days ago
|
|
|
Yeah, I'm a bit confused. To me the big news doesn't seem to be that some mathematicians wrote a book using Github. The is that there is now an expansive, informal/readable, and machine verified writeup of homotopy type theory. |
|
|