proof calculi

1. redirect proof calculus

{{rcatsh|

{{r from plural}}

}}