Skip to content
Coq Axiom Check

Fix test #42

Sign in to view logs

Fix test

Fix test #42

Triggered via push December 5, 2023 10:21
@huynhtrankhanhhuynhtrankhanh
pushed 416b78b
main
Status Success
Total duration 2m 25s
Artifacts –

axioms.yml

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