LeanPool.Rupert.Attr

Imported Lean Pool material for LeanPool.Rupert.Attr.

def Parser.Attr.matrix_simps_proc : Lean.ParserDescr

Simplification procedure

Equations

• One or more equations did not get rendered due to their size.

def Parser.Attr.matrix_simps : Lean.ParserDescr

Simp set for evaluating concrete matrices in Rupert certificates.

Equations

• One or more equations did not get rendered due to their size.