Finite Map Extras

Javier Díaz 📧

October 12, 2020

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

This entry includes useful syntactic sugar, new operators and functions, and their associated lemmas for finite maps which currently are not present in the standard Finite_Map theory.

License

BSD License

Topics

Session Finite-Map-Extras

Used by

Cite

× 
@article{Finite-Map-Extras-AFP,
  author  = {Javier Díaz},
  title   = {Finite Map Extras},
  journal = {Archive of Formal Proofs},
  month   = {October},
  year    = {2020},
  note    = {\url{https://isa-afp.org/entries/Finite-Map-Extras.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: