Skip to content
CI

Work on simplifying the rewriter for proofs #98

Sign in to view logs

Work on simplifying the rewriter for proofs

Work on simplifying the rewriter for proofs #98

Triggered via push November 12, 2024 17:08
@ymherklotzymherklotz
pushed 17935e5
main
Status Success
Total duration 2m 35s
Artifacts –

build.yml

on: push
build
2m 26s
build
Fit to window
Zoom out
Zoom in