DanGrayson/checker

an attempt at making a prototype proof checker for experimental purposes

OCaml