sbp / idris-bi

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
36Updated 3 years ago

Related projects

Alternatives and complementary repositories for idris-bi