131
reputation
4

Patrick Nicodemus

I am a PhD student in the mathematics program at University of Wisconsin-Madison. I am interested in categorical logic, type theory, and topos theory.

0
answers
1
question
~364
people reached
  • University of Wisconsin-Madison, Van Vleck Hall, Madison, WI, USA
  • Member for 2 years, 5 months
  • 1 profile view
  • Last seen Jan 26 at 18:24

Top tags (2)

Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

3 Org Mode and cdlatex Oct 17 '17

Badges (4)

Gold

Silver

Bronze

4

Rarest