Skip to main content
Proof Assistants Beta
Jonathan Sterling's user avatar
Jonathan Sterling's user avatar
Jonathan Sterling's user avatar
Jonathan Sterling
  • Member for 2 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
580
reputation
2k
reached
4
answers
0
questions
Communities
View all
About

type theorist

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
13
bronze badges
Top tags
View all tags
16
Score
1
Posts
25
Posts %
13
Score
1
Posts
25
Posts %
13
Score
1
Posts
25
Posts %
11
Score
1
Posts
25
Posts %
11
Score
1
Posts
25
Posts %
11
Score
1
Posts
25
Posts %
Top posts
16
Can mathematical formalizations in NuPRL be trusted as correct in the greater mathematical practice?
Mar 13, 2022
13
Tutorial implementations of NbE
Mar 16, 2022
11
What is realignment and is it useful in non-univalent theories?
Mar 3, 2022
5
Are `P x` and `▸ ((next P) ⊛ (next x))` equivalent in Guarded Cubical Agda?
Mar 4, 2022
Top network posts
View all network posts
169
Retain cycle on `self` with blocks
129
How to use custom delegates in Objective-C
126
NSPredicate: filtering objects by day of NSDate property
113
Why declare a variable in one line, and assign to it in the next?
91
UIImageView - How to get the file name of the image assigned?