## Library AutosubstSsr

## Library Compiler

## Library Facts

## Library GCContinuity

## Library GCSemantics

## Library GCSyntax

## Library ICContinuity

## Library ICEquivalence

- IC Program Preorder
- Preservation of specifications / Refinement
- Contextual approximation
- Contextual approximation is the coarsest consistent precongruence.
- Refinement -> Approximation
- Approximation -> Refinement
- Building distinguishing contexts
- Properties of contexts
- Contextual approximation -> small-step equivalence
- Least upper bound property

## Library ICSemantics

## Library ICSyntax

## Library States

This page has been generated by coqdoc