Skip to content

adapt to change in coq2html (#1148) #2795

adapt to change in coq2html (#1148)

adapt to change in coq2html (#1148) #2795

Triggered via push January 14, 2024 08:40
Status Success
Total duration 2m 20s
Artifacts
Fit to window
Zoom out
Zoom in