Solving Sudokus with msat

2019-02-26

simon

Read more...

Format All the Data Structures

2016-03-20

simon

Read more...

Maki: on-disk memoization for (deterministic) fun and profit

2016-02-05

simon

Read more...

Tooling is Awesome

2015-10-16

simon

Read more...

OCaml Compiler Hacking: how to add a primitive

2015-08-06

simon

Read more...

Simple Refinement Types for OCaml

2015-03-10

simon

Read more...

Introduction to Automated Theorem Proving with Logtk

2014-07-24

simon

Read more...