proof systems (English, noun)
expansion: proof systems
Senses:
glosses: plural of proof system
tags: form-of
plural
Forms: