Proof Assistants Beta
Jonathan Sterling's user avatar
Jonathan Sterling's user avatar
Jonathan Sterling's user avatar
Jonathan Sterling
  • Member for 1 year, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
570
reputation
1k
reached
4
answers
0
questions
Communities
View all
About

type theorist

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
13
bronze badges
Top tags
View all tags
16
Score
1
Posts
25
Posts %
12
Score
1
Posts
25
Posts %
12
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
All Questions Answers
Score Newest
answer
16
Can mathematical formalizations in NuPRL be trusted as correct in the greater mathematical practice?
Mar 13, 2022
answer
12
Tutorial implementations of NbE
Mar 16, 2022
answer
11
What is realignment and is it useful in non-univalent theories?
Mar 3, 2022
answer
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?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.