Skip to main content
Emacs
Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus's user avatar
Patrick Nicodemus
  • Member for 7 years
  • Last seen this week
  • University of Wisconsin-Madison, Van Vleck Hall, Madison, WI, USA
Profile Activity
Stats
133
reputation
1k
reached
0
answers
2
questions
Communities
View all
About

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.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
3
Org Mode and cdlatex
Oct 17, 2017
question
0
Emacs server crashes every 1-2 minutes
Aug 30
Top network posts
View all network posts
10
Letter of Recommendation is very short and mostly nonspecific - What should I do?
10
What are appropriate limits to good faith?
6
What are the principal differences between Agda's core type theory and Coq's?
6
Coq - Are there functions which are provably equal but not definitionally equal?
6
Is a name a sheaf?