Skip to content
TLA+ Consensus

Repair Coq + Agda formal verification so it actually checks (axiom-free) #14

Sign in to view logs

Repair Coq + Agda formal verification so it actually checks (axiom-free)

Repair Coq + Agda formal verification so it actually checks (axiom-free) #14

Triggered via pull request June 15, 2026 15:25
@hyperpolymathhyperpolymath
synchronize #48
fix/coq-mechanization-axiom-free
Status Success
Total duration 21s
Artifacts –

tla-consensus.yml

on: pull_request
TLC model-check (BFT safety)
8s
TLC model-check (BFT safety)
Fit to window
Zoom out
Zoom in