cancelpublished Reducio proofs from a dialogical perspective

status will change from published to submitted

validating...