GitHub repository: sbp/idris-bi
Primary language: Idris
Created: 2017-08-04T15:07:29Z
Description: Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq