Skip to content
Coq Axiom Check

Add helpers #11

Sign in to view logs

Add helpers

Add helpers #11

Triggered via push November 28, 2023 03:15
@huynhtrankhanhhuynhtrankhanh
pushed 7baee34
main
Status Success
Total duration 1m 47s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

axioms.yml

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