Project Page Index Table of Contents
  • Axiomatic Assumptions
    • Functional Extensionality
    • Propositional Extensionality
  • Finite Types and Mappings
    • Forward Function Composition
    • Finite Types
  • Type classes for renamings.
  • Type Classes for Substiution
      • Extension of Finite Mappings
      • Renamings and Injective Renamings
  • Notations
    • POPLMark Challenge 2a
  • Progress
  • Preservation
Generated by coqdoc and improved with CoqdocJS