Finite Map Extras

Javier Díaz 📧

October 12, 2020

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: