Skip to content

Close issue #299: `leibnizO` finds convoluted proof for definitions

Robbert Krebbers requested to merge robbert/issue299 into master

Merge request reports