Table of contents

Library Biorthogonality

Galois Connections, Orthogonal operators

Library BOp

Library Compiler

Translations from source to target language

Library DenoApprox

Realizers, Tests and Main Theorem

Library DomainStuff

Library Machine

Target Language. Machine transitions and components

Library Map

Extensions of Stdlib FMapWeaklist (associative maps)
- A extension of WS (Weak Signature) including new operations
- Extension of raw maps (list of pais with no duplicates)
Extended Map module

Library ObsSI

Set of observations (configurations)

Library Obs

Set of observations (configurations)

Library OperApprox

Realizers, Tests and Main Theorem

Library Semantics

Language Semantics

Library Sets

Extended Coq.Ensembles

Library Syntax

Source Language

Library Utils

This page has been generated by coqdoc