GitHub repository: FIUSCIS-CDA/MUX2_5
Primary language: Coq
Created: 2020-08-05T19:13:41Z
Description: 2-input multiplexor with 5-bit inputs