paul-snively/verse

Experiments in formalization and verification of the Verse Calculus, In Coq

Makefile