Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Finite Map Extras

Email Gateway (Dec 01 2020 at 21:32):

From: Gerwin Klein <kleing@unsw.edu.au>
Finite Map Extras
by Javier Díaz

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.

https://www.isa-afp.org/entries/Finite-Map-Extras.html

Enjoy!
Gerwin

Last updated: Jan 04 2025 at 20:18 UTC