Skip to content

GitLab

Merged
Created by Ralf Jung@jungOwner

Add big-op lemmas to ghost map

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

Edited by Ralf Jung