Skip to content
CI

add prove theorem example #52

Sign in to view logs

add prove theorem example

add prove theorem example #52

Triggered via push November 28, 2025 06:52
@durant42040durant42040
pushed a9573fe
main
Status Success
Total duration 3m 36s
Artifacts –

push_pr.yml

on: push
Matrix: BuildRelease
Fit to window
Zoom out
Zoom in