bedrock. A fork of Chlipala's Bedrock Coq DSL (http://plv.csail.mit.edu/bedrock/)

github.com/csgordon/bedrock
by @csgordon

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.