honorpeter/cnn_open

A hardware implementation of CNN, written by Verilog and synthesized on FPGA

Coq