P
Initializing...
Translation of Σ⁺-formulas with old-sorted free variables · Prove2Me