Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Grammatical formal systems
cm0s
Next ⟩
cmsa
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cm0s
Description:
Mapping expressions to statements.
Ref
Expression
Assertion
cm0s
class
m0St