Skip to content
Coq Axiom Check

Fix #32

Sign in to view logs

Fix

Fix #32

Triggered via push December 3, 2023 14:44
@huynhtrankhanhhuynhtrankhanh
pushed 2c0eedd
main
Status Success
Total duration 2m 21s
Artifacts –

axioms.yml

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