Skip to content

Fix duplicate theorem name #207

Fix duplicate theorem name

Fix duplicate theorem name #207

Triggered via push September 28, 2023 00:27
Status Success
Total duration 1h 31m 45s
Artifacts

docker-ci.yml

on: push
Fit to window
Zoom out
Zoom in