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 <>
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.


Last updated: Jan 25 2022 at 01:11 UTC