Assistant to the Proof Assistant

Differential Semantics

A quick presentation I gave to my CS 239, Spring 2014 on my early thinking around deriving programmer intent from source control and program evolution.

← Home