Skip to content

Modified the definition of validateZeroesLeqErr_def and prove its soundness

Heiko Becker requested to merge checker_extend into master

Merge request reports