tayloj/DPL

A Propositional Alpha Denotational Proof Language

# dpl
An embroyonic dpl system in Clojure.

See http://people.csail.mit.edu/kostas/dpls/