Skip to content
Check with latest Rzk

Merge branch 'weak-ext-ext' of github.com:jonalfcam/sHoTT into weak-e… #9

Sign in to view logs

Merge branch 'weak-ext-ext' of github.com:jonalfcam/sHoTT into weak-e…

Merge branch 'weak-ext-ext' of github.com:jonalfcam/sHoTT into weak-e… #9

Triggered via push September 21, 2023 12:39
@jonalfcamjonalfcam
pushed 66e9512
weak-ext-ext
Status Success
Total duration 28s
Artifacts –

rzk.yml

on: push
Check formalisations
18s
Check formalisations
Fit to window
Zoom out
Zoom in