Skip to content

Actions: levineuwirth/proof-broker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
200 workflow runs
200 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Alethe walker: boolean-cleanup cluster (implies/equiv1/equiv2/not_and/and_neg) validate #75: Pull request #47 opened by levineuwirth
18m 28s alethe-walker-boolean-cleanup
alethe-walker-boolean-cleanup
18m 28s
Alethe walker: trust-tagged leaves (hole / rare_rewrite) validate #74: Commit 15754ee pushed by levineuwirth
18m 36s main
main
18m 36s
Alethe walker: trust-tagged leaves (hole / rare_rewrite) validate #73: Pull request #46 opened by levineuwirth
16m 52s alethe-walker-hole-rewrite
alethe-walker-hole-rewrite
16m 52s
Alethe walker: equality cluster (refl / symm / trans / cong) validate #72: Commit 7ec2f6a pushed by levineuwirth
15m 28s main
main
15m 28s
Alethe walker: equality cluster (refl / symm / trans / cong) validate #71: Pull request #45 opened by levineuwirth
17m 13s alethe-walker-equality
alethe-walker-equality
17m 13s
Alethe walker: multi-literal resolution validate #70: Commit 69fa842 pushed by levineuwirth
17m 54s main
main
17m 54s
Alethe walker: multi-literal resolution validate #69: Pull request #44 opened by levineuwirth
16m 16s alethe-walker-resolution
alethe-walker-resolution
16m 16s
Alethe walker: arithmetic layer (la_generic / la_mult_neg) validate #68: Commit 0f48dec pushed by levineuwirth
17m 27s main
main
17m 27s
Alethe walker: arithmetic layer (la_generic / la_mult_neg) validate #67: Pull request #43 opened by levineuwirth
16m 49s alethe-walker-m1-arith
alethe-walker-m1-arith
16m 49s
Alethe walker M1.β: clausal layer (scaffolding + assume/resolution/or… validate #66: Commit 1a9daa2 pushed by levineuwirth
16m 37s main
main
16m 37s
Alethe walker M1.β: clausal layer (scaffolding + assume/resolution/or/false) validate #65: Pull request #42 opened by levineuwirth
16m 54s alethe-walker-m1-rules
alethe-walker-m1-rules
16m 54s
Alethe walker foundation: FFI parse method + Lean step ADT validate #64: Commit a23c35b pushed by levineuwirth
19m 30s main
main
19m 30s
Alethe walker foundation: FFI parse method + Lean step ADT validate #63: Pull request #41 opened by levineuwirth
18m 37s alethe-walker-m1
alethe-walker-m1
18m 37s
Phase 3 Rocq parity M4: docs/delta/retro sync validate #62: Commit c516fb4 pushed by levineuwirth
18m 37s main
main
18m 37s
Phase 3 Rocq parity M4: docs/delta/retro sync validate #61: Pull request #40 opened by levineuwirth
16m 20s phase-3-rocq-parity-m4
phase-3-rocq-parity-m4
16m 20s
Phase 3 Rocq parity M3: bridge-aware LLM adapter + reconstruction fal… validate #60: Commit 89e7124 pushed by levineuwirth
17m 11s main
main
17m 11s
Phase 3 Rocq parity M3: bridge-aware LLM adapter + reconstruction fallback validate #59: Pull request #39 opened by levineuwirth
18m 11s phase-3-rocq-parity-m3
phase-3-rocq-parity-m3
18m 11s
Phase 3 Rocq parity M2: LLM-replay closer + audit-H1 axiom gate validate #58: Commit 31cda1d pushed by levineuwirth
19m 9s main
main
19m 9s
Phase 3 Rocq parity M2: LLM-replay closer + audit-H1 axiom gate validate #57: Pull request #38 opened by levineuwirth
18m 38s phase-3-rocq-parity-m2
phase-3-rocq-parity-m2
18m 38s
Rocq M1 fix: accept Verified_tier3_provenance in close_or_fail validate #56: Commit 23e73cc pushed by levineuwirth
16m 48s main
main
16m 48s
Phase 3 Rocq parity M1: HO reifier + HOL closer + coq-hammer opt-in validate #55: Pull request #37 synchronize by levineuwirth
17m 5s phase-3-rocq-parity-m1
phase-3-rocq-parity-m1
17m 5s
Phase 3 Rocq parity M1: HO reifier + HOL closer + coq-hammer opt-in validate #54: Pull request #37 synchronize by levineuwirth
19m 32s phase-3-rocq-parity-m1
phase-3-rocq-parity-m1
19m 32s
Rocq parity M1 fix: add Vampire + LLM to default manifests/adapters validate #53: Commit 038077e pushed by levineuwirth
18m 50s main
main
18m 50s
Phase 3 Rocq parity M1: HO reifier + HOL closer + coq-hammer opt-in validate #52: Pull request #37 synchronize by levineuwirth
19m 4s phase-3-rocq-parity-m1
phase-3-rocq-parity-m1
19m 4s
Phase 3 Rocq parity M1: HO reifier + HOL closer + coq-hammer opt-in validate #51: Pull request #37 opened by levineuwirth
17m 15s phase-3-rocq-parity-m1
phase-3-rocq-parity-m1
17m 15s