Stream: Mirror: Isabelle Users Mailing List

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


view this post on Zulip 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: Dec 05 2021 at 23:19 UTC