This repository is not active
dbramucci/coq-proofs-algebra-driven-design
Here are my proofs of the content in Algebra Driven Design by Sandy Maguire
Coq
Here are my proofs of the content in Algebra Driven Design by Sandy Maguire
Coq
This repository is not active