Skip to content
Coq Axiom Check

Fix all bugs #33

Sign in to view logs

Fix all bugs

Fix all bugs #33

Triggered via push December 3, 2023 15:47
@huynhtrankhanhhuynhtrankhanh
pushed 91f472b
main
Status Success
Total duration 2m 14s
Artifacts –

axioms.yml

on: push
coq-check
2m 4s
coq-check
Fit to window
Zoom out
Zoom in