Skip to content
Compile blueprint

Make equations link to a 'prove this' link. #941

Sign in to view logs

Make equations link to a 'prove this' link.

Make equations link to a 'prove this' link. #941

Triggered via pull request October 5, 2024 18:01
@carlinicarlini
opened #325
carlini:link-to-prover
Status Success
Total duration 6m 55s
Artifacts –

blueprint.yml

on: pull_request
Build project
6m 45s
Build project
Fit to window
Zoom out
Zoom in