Issues
- 1
Simplify `isPowerOf2`
#27 opened by yoheioka - 0
More simple specification
#26 opened by osuketh - 0
- 0
Fix hash function of the prover
#2 opened by osuketh - 0
Implement library for polynomial utils
#11 opened by osuketh - 0
Fix data structure of branch_for_polys
#19 opened by osuketh