How do I fold a function over the bindings in a map in Isabelle? Folding Functions Over Bindings in a Map in Isabelle In functional programming and theorem proving folding over data structures is a common task If you re worki 2 min read 29-09-2024 11