Skip to content
Docker

Simpler proof of naturality square (#3) #19

Sign in to view logs

Simpler proof of naturality square (#3)

Simpler proof of naturality square (#3) #19

Triggered via push October 26, 2024 03:27
@PHart3PHart3
pushed b132526
main
Status Success
Total duration 1h 12m 0s
Artifacts –

agda.yml

on: push
build
1h 11m
build
Fit to window
Zoom out
Zoom in