Skip to content

Coq small fixes

Coq small fixes #22

Triggered via pull request November 17, 2024 19:52
Status Success
Total duration 2m 50s
Artifacts

extract_and_run_coq.yml

on: pull_request
Fit to window
Zoom out
Zoom in