~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

ff6a482 Pull out the parser into a standalone library

a day ago via forester

66bba71 format repository

8 days ago via forester

7338bf1 Simplify Iri_resolver

10 days ago via forester

3965600 cleanup in Htmx_client

11 days ago via forester

d1cb374 decrease margin of top nav

12 days ago via forester

b56dcfa make the plain text renderer take a router

12 days ago via forester

468c1df Iri_resolver: stylistic improvement

12 days ago via forester

ae2a449 stylistic improvement (avoiding inline functions in pipelines)

12 days ago via forester

0f83b50 Decouple import graph from datalog relations (see note below)

13 days ago via forester

08b3634 don't sandbox the tmp dir

13 days ago via forester

8756146 Change in dune's automatic forester.opam

13 days ago via forester

a1aeb30 fix mistake

29 days ago via forester

2b41809 add my presentation

2 months ago via forester

66bba71 format repository

2 months ago via forester

021d4d9 tweak

2 months ago via forester
1 / 62