GitHub repository: FIUSCIS-CDA/MUX3_32
Primary language: Coq
Created: 2020-08-05T19:18:18Z
Description: 3-bit multiplexor, with 32-bit inputs