Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Grammatical formal systems
cmgfs
Next ⟩
cmtree
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cmgfs
Description:
The set of grammatical formal systems.
Ref
Expression
Assertion
cmgfs
class mGFS