Library t

Output Format

default svg xml json dot symbols session pp.dol pp.tex pp.xml pp.html pdf

Tools

automatic proofs consistency checker

Commands

auto glob-decomp global-subsume loc-decomp local-infer comp comp-new cons hide-thm thm-hide compute-colimit compute-normal-form triangle-cons freeness importing disjoint-union renaming hiding heterogeneity qualify-all-names

Imported Libraries

t

default svg xml json dot symbols session pp.dol pp.tex pp.xml pp.html pdf

Development Graph (click on node or edge)