Skip to content

add proof that Sigma preserves null types #2291

add proof that Sigma preserves null types

add proof that Sigma preserves null types #2291

Triggered via pull request December 5, 2023 13:57
Status Success
Total duration 18m 9s
Artifacts

ci-ubuntu.yml

on: pull_request
Fit to window
Zoom out
Zoom in