Skip to content
Coq Axiom Check

Handle string literals in range() #44

Sign in to view logs

Handle string literals in range()

Handle string literals in range() #44

Triggered via push December 7, 2023 03:51
@huynhtrankhanhhuynhtrankhanh
pushed ed451a1
main
Status Success
Total duration 2m 11s
Artifacts –

axioms.yml

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