Table of contents

Library BioFLL.LL.Eqset

- Signature for atoms (polarities)

Library BioFLL.LL.SequentCalculi

Sequent Calculi

Library BioFLL.LL.StrongInduction

- Strong Induction

Library BioFLL.LL.Multisets

- Multisets

Library BioFLL.LL.SequentCalculiBasicTheory

- Basic proof theory

Library BioFLL.LL.Syntax

- Syntax of Linear Logic
- Parametric HOAS

Library BioFLL.Definitions

General description
- Constants and notations
- Rules of the System

Library BioFLL.Utils

General description

Library BioFLL.ReachabilityProperties

Reachability Properties of the system

Library BioFLL.InversionTactics

Inversion Tactics

Library BioFLL.MetaLevelProperties

Properties of the system
- Property 4
- Property 5

This page has been generated by coqdoc