Skip to content

add another ▷ paradox by Yusuke

Ralf Jungrequested to merge
ralf/paradox into master

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

Merge request reports