~jonsterling

Cambridge

http://www.jonmsterling.com/

I am an Associate Professor in Logical Foundations and Formal Methods at University of Cambridge in the Department of Computer Science and Technology.

forester

A tool for scientific thought

typesynth

TypeSynth: Synthetic Methods in Program Verification (MSCA Fellowship Project)

Activity

1707af0 fix incorrect neovim configuration

a day ago via forester

1fd85a3 some minor tweaks

a day ago via forester

138aea7 Module scope hygiene

6 days ago via forester

862fd49 Compressing the code of the language server

6 days ago via forester

5352433 update theme

6 days ago via forester

5c3d52b update forester.js for sorted manifest

6 days ago via forester

c8eb2a3 [Breaking] Improve sorting of trees, change format of json manifest

6 days ago via forester

80121ee fix broken links

6 days ago via forester

170a4a6 Fix what I think is a bug in \open

7 days ago via forester

4b2ddd9 remove Expand.F effect in favour of explicit flow

7 days ago via forester

dfb7f02 promote test (pertains to 2ee5dc30bdd218f486858c80787759d5a2b0752d)

7 days ago via forester

50aef2b Fix what I think is a bug in \open

7 days ago via forester

d9a8273 dev mode should have spurious warnings disabled

7 days ago via forester

5da95d7 debugging

7 days ago via forester

3e9593f dev mode should have spurious warnings disabled

7 days ago via forester
1 / 72