milesrout
milesrout avatar
Active user
4 months ago by invitation from goodger
510, averaging 1.51 per story/comment
1, most commonly tagged web
336
https://github.com/milesrout

I’m a PhD student at the University of Canterbury in New Zealand studying constructive mathematics, focusing at the moment on building a proof assistant for constructive Morse set theory. My long-term goal is to formalise some interesting parts of constructive analysis over this set theory using this proof assistant.

http://rout.nz/