Skip to content
Lean Proofs

Merge pull request #48 from hyperpolymath/fix/coq-mechanization-axiom… #6

Sign in to view logs

Merge pull request #48 from hyperpolymath/fix/coq-mechanization-axiom…

Merge pull request #48 from hyperpolymath/fix/coq-mechanization-axiom… #6

Triggered via push June 15, 2026 15:26
@hyperpolymathhyperpolymath
pushed 395f8c8
main
Status Success
Total duration 17s
Artifacts –

lean.yml

on: push
Build Lean metatheory (lake build)
13s
Build Lean metatheory (lake build)
Fit to window
Zoom out
Zoom in