Issues
- 1
Build error with Idris 1.3
#31 opened by infinisil - 5
Streamline proofs
#22 opened by clayrat - 0
- 0
Use Preorder Reasoning for the denser proofs?
#21 opened by clayrat - 0
Ring solver?
#20 opened by clayrat - 5
Direct compilation for BIP / view for Data.Bits?
#13 opened by clayrat - 1
Trivial proofs?
#18 opened by clayrat - 1
Duplication of binDouble/binDoubleSucc
#16 opened by clayrat - 1
Proof names
#11 opened by clayrat - 3
Reformulate case-using functions
#6 opened by clayrat - 2
Port QArith
#9 opened by sbp - 1