issues
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
add a section on BizMod2 to readme
#30
Closed
clayrat
closed
6 years ago