~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

0e80fcc [xml serialisation] add href to fr:ref

13 hours ago via forester

564d465 [xml serialisation] add href to fr:ref

13 hours ago via forester

dcf32c5 [xml serialisation] add href to fr:ref

13 hours ago via forester

ecb69cb [xml serialisation] add href to fr:ref

13 hours ago via forester

12740b4 fix error message

19 hours ago via forester

3064ee1 upgrade js dependencies and bundle

a day ago via forester

018adf2 make evaluation of lambda use pop_arg

a day ago via forester

2fb2a54 [BREAKING] replacing the user-facing query language, exposing relational queries

3 days ago via forester

797e84f replacing the user-facing query language, exposing relational queries

3 days ago via forester

c59e45b Xml_tree: minor formatting tweak

3 days ago via forester

c647558 replacing the user-facing query language, exposing relational queries

6 days ago via forester

23e4e6f make behaviour of query_tag consistent

6 days ago via forester

9daa6ad make behaviour of query_taxon consistent between empty and nonempty lists

6 days ago via forester

46d9b99 fix query taxon [TAXON..]

6 days ago via forester

e5ff6fe change behaviour of query_taxon to behave consistently on empty list

6 days ago via forester
1 / 42