Mathematical Proof Type Logic and Dependency Checker

Cytoscape v3.28.1

Framework Preset:

Proof System Diagnostics

0

Objects

0

Valid Steps

0

Type Errors

System state initialized. Select elements to inspect type signatures and domain mappings.

Inspector & Diagnostic

Select a node or morphism in the graph to view logical properties.