Skip to content

add another ▷ paradox by Yusuke

Ralf Jung requested to merge ralf/paradox into master

This one is actually a lot simpler than the one based on saved propositions. :)

Merge request reports