zsyntax-0.2.0.0: Automated theorem prover for the Zsyntax biochemical calculus

Safe Haskell	None
Language	Haskell2010

Zsyntax.Labelled.Rule

Contents

Bipole generation
Initial sequents and rules generation

Synopsis

module Zsyntax.Labelled.Rule.Interface
module Zsyntax.Labelled.Rule.BipoleRelation
module Zsyntax.Labelled.Rule.Frontier

Documentation

module Zsyntax.Labelled.Rule.Interface

Bipole generation

module Zsyntax.Labelled.Rule.BipoleRelation

Initial sequents and rules generation

module Zsyntax.Labelled.Rule.Frontier