## Not Found File formulations/verilog/seven-segment-decoder.md does not exist.