Skip to content
Coq Axiom Check

Document string literals #43

Sign in to view logs

Document string literals

Document string literals #43

Triggered via push December 6, 2023 02:59
@huynhtrankhanhhuynhtrankhanh
pushed 525979c
main
Status Success
Total duration 1m 54s
Artifacts –

axioms.yml

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