Library AAC_tactics.AAC
- Theory file for the aac_rewrite tactic
- Environments for the reification process: we use positive maps to index elements
- Classes for properties of operators
- Utilities for the evaluation function
- Utilities for positive numbers
- Dependent types utilities
- Utilities about (non-empty) lists and multisets
- Packaging structures
- Reification, normalisation, and decision
- Lemmas for performing transitivity steps
Library AAC_tactics.Instances
Library AAC_tactics.Tutorial
Library AAC_tactics.Caveats
This page has been generated by coqdoc