Skip to content
Coq Axiom Check

Handle even more cases #28

Sign in to view logs

Handle even more cases

Handle even more cases #28

Triggered via push December 1, 2023 07:02
@huynhtrankhanhhuynhtrankhanh
pushed d7bf39c
main
Status Success
Total duration 1m 52s
Artifacts –

axioms.yml

on: push
coq-check
1m 33s
coq-check
Fit to window
Zoom out
Zoom in