jonmsterling.com
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
Cambridge, United Kingdom
Activity
May
0
15
0
0
June
0
0
0
0
July
0
3
1
0
August
0
148
1
0
September
0
60
0
0
October
0 pull requests
574 commits
0 new repositories
0 issues
Pinned repositories
A collection of user interface components and drawing routines for building tasteful apps using AppKit.
4 1