GitHub repository: FIUSCIS-CDA/SameBit
Primary language: Coq
Created: 2020-08-17T21:32:29Z
Description: Simple circuit that outputs the input bit