/coq-proofs-algebra-driven-design

Here are my proofs of the content in Algebra Driven Design by Sandy Maguire

Primary LanguageCoq

This repository is not active