Skip to content
CI

Add mostly finished proof of refines_phi transitive #13

Sign in to view logs

Add mostly finished proof of refines_phi transitive

Add mostly finished proof of refines_phi transitive #13

Triggered via push October 15, 2024 10:44
@ymherklotzymherklotz
pushed 1bb8d90
main
Status Success
Total duration 1m 33s
Artifacts –

build.yml

on: push
build
1m 25s
build
Fit to window
Zoom out
Zoom in