## Not Found File formulations/verilog/counter.md does not exist.