Skip to content
Pytest

add prove theorem example #48

Sign in to view logs

add prove theorem example

add prove theorem example #48

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

pytest.yml

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