Skip to content

formalism: Fix AEZipProjL and AEZipProjR #40

formalism: Fix AEZipProjL and AEZipProjR

formalism: Fix AEZipProjL and AEZipProjR #40

Triggered via push October 9, 2023 00:03
Status Success
Total duration 1m 18s
Artifacts

agda.yaml

on: push
Check all.agda
1m 9s
Check all.agda
Fit to window
Zoom out
Zoom in