Skip to content

Fill axioms2

Andrey Klaus requested to merge fill-axioms2 into master

I would like to use Z.compare_is_valid somehow to prove compare_is_valid. Or generalize it somehow. But I do not see a way. Should I just uncomment proof?

Edited by Guillaume Claret

Merge request reports