Home
Blog
Bookshelf
Talks
Coursework
Experience
Misc
Tanner Duve
he/him
Proof engineer, logician
Follow
CA
Nexus
Email
Github
LinkedIn
Misc
under construction
