GitHub repository: FIUSCIS-CDA/ALU32
Primary language: Coq
Description: 32-bit ALU