Crate metacat 

Modules

check

definition

dual

ssa

Convert an OpenHypergraph to SSA form

theory

Loader and data model for the multi-theory surface syntax.

tree