Issues
- 2
find_interval
#1 opened by wrhall - 0
Some possible hypotheses
#4 opened by wrhall - 0
Facts to Prove
#8 opened by wrhall - 0
Heuristics to try
#7 opened by wrhall - 0
Some invariants?
#6 opened by wrhall - 1
Rob's Conjecture
#5 opened by wrhall - 0
- 2
Benchmark code
#2 opened by wrhall