Notepad
A mix of expositions, research work in progress and oft-incomplete notes to self about math and type theory. While I try very hard not to write wrong things, everything in this list comes with a mistakes-may-be-made disclaimer.
A mix of expositions, research work in progress and oft-incomplete notes to self about math and type theory. While I try very hard not to write wrong things, everything in this list comes with a mistakes-may-be-made disclaimer.