sbp/idris-bi Issues
Build error with Idris 1.3
Closed 1Streamline proofs
Updated 5Ring solver?
UpdatedTrivial proofs?
Updated 1Proof names
Updated 1Reformulate case-using functions
Closed 3Port QArith
Updated 2
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq