Library libs.bcase
A simple checker for boolean tautologies
Library libs.edone
A slightly more powerful done tactic
Library libs.base
Generic Lemmas not in Ssreflect
A least fixed point operator for finType
Cyclic directed distance
Library libs.fset
Finite Sets over choice types and countable types
Primitive operations
Notations
Basic Theory
Subset
Cardinality / Size
Weight function for sets
Fixpoints
Connectivity withing a set
Maximal extensions and Pruning
Rudimentary Automation
This page has been generated by
coqdoc