Kürzlich
My Final Proof Journal
--------------------------------------------------------------
This is all preamble stuff that you don't have to worry about.
Head down to where it says "Start here"
--------------------------------------------------------------
Chesyti Brown
Games
This blog its for university project , I am working in developing this games for year 3
Diego Mantuano
HoTT Reading Notes
This is an informal set of comments on the HoTT Book.
Pierre-Yves Gaillard