Skip to main content
Proof Assistants Meta
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 2 years ago
Profile Activity
Stats
580
reputation
0
reached
0
answers
0
questions
Communities
View all
About

type theorist

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
3
bronze badges
Posts

This user hasn’t posted yet.

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?