Skip to content
Check the Agda files

Proof that embedding NestedChoice as 2Choice preserves semantics (restricted configs) #14

Sign in to view logs

Proof that embedding NestedChoice as 2Choice preserves semantics (restricted configs)

Proof that embedding NestedChoice as 2Choice preserves semantics (restricted configs) #14

Triggered via pull request November 14, 2023 12:13
@ibbemibbem
synchronize #7
restrict-configs
Status Success
Total duration 2m 31s
Artifacts –

check.yml

on: pull_request
build
2m 19s
build
Fit to window
Zoom out
Zoom in