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.


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.


BSD License


Session Finite-Map-Extras