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
some Bip proofs refactoring
#7
Closed
clayrat
closed
7 years ago