GitHub repository: FIUSCIS-CDA/OneBitAdder
Primary language: Coq
Created: 2020-08-05T19:19:28Z
Description: One-bit adder