Skip to content
docs

WIP fix for auto-generated alive theorem statements #40

Sign in to view logs

WIP fix for auto-generated alive theorem statements

WIP fix for auto-generated alive theorem statements #40

Triggered via push October 6, 2023 16:34
@alexkeizeralexkeizer
pushed e4260e4
main
Status Success
Total duration 4m 14s
Artifacts –

doc.yml

on: push
build and deploy documentation.
4m 3s
build and deploy documentation.
Fit to window
Zoom out
Zoom in