proveit.physics.quantum.QPE._delta_b_in_interval
proveit.logic
proveit.numbers
proveit.core_expr_types