Skip to content

GitLab

CHANGELOG.

2 jobs for !793 with robbert/seal in 15 minutes and 21 seconds (queued for 25 minutes and 57 seconds)
latest merge request
a3534b51
1 related merge request: !793 Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`.