GitHub repository: FIUSCIS-CDA/MUX32
Primary language: Coq
Created: 2020-08-05T19:15:38Z
Description: 32-input multiplexor, with 1-bit inputs