madsravn/coq

Solutions for the book Software Foundations by Benjamin C. Pierce

Verilog

Software Foundations book available here: http://www.cis.upenn.edu/~bcpierce/sf/

You can use these solutions any way you want!