proof system

  1. REDIRECT Proof calculus

{{Rcatsh|

{{R an}}

}}