GitHub repository: mit-plv/bbv
Primary language: Rocq Prover
Created: 2018-02-04T17:37:50Z
Description: Bedrock Bit Vector Library