Skip to content
Coq Axiom Check

Export isNumeric #17

Sign in to view logs

Export isNumeric

Export isNumeric #17

Triggered via push November 30, 2023 10:20
@huynhtrankhanhhuynhtrankhanh
pushed 262faba
main
Status Success
Total duration 2m 22s
Artifacts –

axioms.yml

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