ivor-0.1.8: Theorem proving library based on dependent type theory Source code Contents Index

Ivor.Equality Portability non-portable Stability experimental Maintainer eb@dcs.st-and.ac.uk

Description

Tactics for Heterogeneous Equality (injectivity, disjointness, etc)

Produced by Haddock version 2.4.2