Skip to content

Draft: dep_check_eq

Natasha Klaus requested to merge dep_check_eq into master

Not ready yet, just skeleton of the proof. Optimization and refactoring required.

Merge request reports