Skip to content

Add big-op lemmas to ghost map

Ralf Jung requested to merge ci/ralf/ghost-map-big into master

This adds big-op versions of the core ghost-map operations: lookup, insert, delete, update.

Edited by Ralf Jung

Merge request reports