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