search

sbp / idris-bi

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
https://github.com/idris-lang/Idris-dev/issues/3976
36 stars 5 forks source link

Refactor and add bitwise shift/rotation/pow2 proofs for BizMod2 #26

Closed clayrat closed 6 years ago

clayrat commented 7 years ago

Ready for review