English edit

Noun edit

proof systems

  1. plural of proof system