Skip to content

Actions: dmacd/ic-theory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 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
disclaimer Lean Action CI #14: Commit be89969 pushed by dmacd
43m 35s master
master
43m 35s
Strengthen Section 4 with scheduler execution states Lean Action CI #13: Commit dd58f15 pushed by dmacd
48m 45s master
master
48m 45s
Add audit tooling and README proof guidance Lean Action CI #12: Commit b9d9b0f pushed by dmacd
46m 21s master
master
46m 21s
Add section 5 sanity coverage Lean Action CI #11: Commit 76972ef pushed by dmacd
48m 47s master
master
48m 47s
Put Section 4 into paper form Lean Action CI #10: Commit 82ad63d pushed by dmacd
1m 43s master
master
1m 43s
Repackage Theorem 3.9 and refresh README status Lean Action CI #9: Commit 2a4a242 pushed by dmacd
3m 10s master
master
3m 10s
Add Theorem 5.1 randomness-test construction Lean Action CI #8: Commit 373dfe7 pushed by dmacd
41m 4s master
master
41m 4s
readme updated Lean Action CI #7: Commit 4dd871f pushed by dmacd
46m 10s master
master
46m 10s
Add Section 4 search semantics Lean Action CI #6: Commit bd1dfa4 pushed by dmacd
48m 4s master
master
48m 4s
Add Theorem 3.8 residual bounds Lean Action CI #5: Commit 28535ec pushed by dmacd
47m 34s master
master
47m 34s
Construct no-superfluous pair by residual search Lean Action CI #4: Commit 8719c4a pushed by dmacd
48m 7s master
master
48m 7s
Add Corollary 3.1 prefix bridge Lean Action CI #3: Commit ad895d9 pushed by dmacd
46m 28s master
master
46m 28s
Update README for current formalization progress Lean Action CI #2: Commit 8c8bf75 pushed by dmacd
45m 29s master
master
45m 29s
Discharge Lemma 3.3 scale bounds Lean Action CI #1: Commit b82f4d9 pushed by dmacd
1h 35m 40s master
master
1h 35m 40s