PESCA

(redirected from Proof Editor for Sequent Calculus)
AcronymDefinition
PESCAPickering East Shore Community Association (Canada)
PESCAProof Editor for Sequent Calculus (teaching program; software)