Skip to content
coq-proofs

Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, … #16

Sign in to view logs

Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, …

Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, … #16

Triggered via push June 26, 2026 21:50
@hyperpolymathhyperpolymath
pushed 0b1b031
main
Status Success
Total duration 40s
Artifacts –

coq-proofs.yml

on: push
coq-check
31s
coq-check
Fit to window
Zoom out
Zoom in