Skip to content
GitLab

Merge branch 'robbert/seal' into 'master' 

Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`.

See merge request !793
3 jobs for master in 9 minutes and 6 seconds (queued for 2 seconds)
49f9097f
No related merge requests found.