Skip to content

Actions: advancedresearcharray/afld-proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 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
chore: regenerate AfldProof imports after auto-formalize Lean Action CI #58: Commit b15b849 pushed by advancedresearcharray
1m 30s master
master
1m 30s
fix(lean): sync AfldProof.lean imports to modules on disk Lean Action CI #57: Commit 6fcc1f8 pushed by advancedresearcharray
17m 39s master
master
17m 39s
docs: sync README links to researcharray milestone Lean Action CI #56: Commit 86aa9ea pushed by advancedresearcharray
2m 45s master
master
2m 45s
Close all proof gaps: Shannon capacity, Basel tail bound, folding nec… Lean Action CI #55: Commit 9b041d7 pushed by advancedresearcharray
1m 11s master
master
1m 11s
Deepen all three novel bridges to theorem-level (Lean 4 verified) Lean Action CI #54: Commit 5b3e924 pushed by advancedresearcharray
1m 2s master
master
1m 2s
Add three novel cross-domain bridges (Lean 4 verified) Lean Action CI #53: Commit f3252f7 pushed by advancedresearcharray
1m 2s master
master
1m 2s
Gap Bridge Engine: automated cross-domain discovery + Lean proving Lean Action CI #52: Commit 2326ecb pushed by advancedresearcharray
1m 2s master
master
1m 2s
Deep bridges: Fermat-Lagrange (group theory → number theory) + E=mc² … Lean Action CI #51: Commit 3442059 pushed by advancedresearcharray
1m 9s master
master
1m 9s
Add 85 auto-discovered cross-domain theorem bridges Lean Action CI #50: Commit 2f81d53 pushed by advancedresearcharray
59s master
master
59s
Add real cross-domain theorem bridges with Lean proofs Lean Action CI #49: Commit 161ca9a pushed by advancedresearcharray
1m 14s master
master
1m 14s
bridge 37 unconnected domains, 861 transitive chains, hub degree 72/7… Lean Action CI #48: Commit 5bf6c42 pushed by advancedresearcharray
1m 40s master
master
1m 40s
publication draft: Information-Theoretic Bridges Between Mathematical… Lean Action CI #47: Commit 9d06121 pushed by advancedresearcharray
1m 27s master
master
1m 27s
gap theory full pipeline: transitive chain engine (250 chains), bridg… Lean Action CI #46: Commit 48fb885 pushed by advancedresearcharray
1m 45s master
master
1m 45s
formalize gap theory bridges: Shannon entropy, cache hit rate, dimens… Lean Action CI #45: Commit 6f3d00a pushed by advancedresearcharray
1m 38s master
master
1m 38s
formalize Shannon entropy discovery from math engine (850 theorems) Lean Action CI #44: Commit 215285b pushed by advancedresearcharray
1m 31s v5.27.0
v5.27.0
1m 31s
formalize Shannon entropy discovery from math engine (850 theorems) Lean Action CI #43: Commit 215285b pushed by advancedresearcharray
1m 55s master
master
1m 55s
formalize 46.4K innovation engine milestone (824 theorems) Lean Action CI #42: Commit 2b02d6f pushed by advancedresearcharray
1m 31s v5.26.0
v5.26.0
1m 31s
formalize 46.4K innovation engine milestone (824 theorems) Lean Action CI #41: Commit 2b02d6f pushed by advancedresearcharray
1m 53s master
master
1m 53s
Update paper to 796 theorems + add proof scaffold generator Lean Action CI #40: Commit 96abc12 pushed by advancedresearcharray
1m 44s master
master
1m 44s
Formalize earliest ancestor framework linking (gen 1.095B, 26 theorems) Lean Action CI #39: Commit 4c5f339 pushed by advancedresearcharray
1m 49s v5.25.0
v5.25.0
1m 49s
Formalize earliest ancestor framework linking (gen 1.095B, 26 theorems) Lean Action CI #38: Commit 4c5f339 pushed by advancedresearcharray
1m 42s master
master
1m 42s
Formalize 15D→7D dimension study across 3 domains (30 theorems) Lean Action CI #37: Commit b3be518 pushed by advancedresearcharray
1m 31s v5.24.0
v5.24.0
1m 31s
Formalize 15D→7D dimension study across 3 domains (30 theorems) Lean Action CI #36: Commit b3be518 pushed by advancedresearcharray
1m 34s master
master
1m 34s
Formalize proof-computation bit-level synthesis (Curry-Howard, 24 the… Lean Action CI #35: Commit e84af4e pushed by advancedresearcharray
1m 32s v5.23.0
v5.23.0
1m 32s
Formalize proof-computation bit-level synthesis (Curry-Howard, 24 the… Lean Action CI #34: Commit e84af4e pushed by advancedresearcharray
1m 24s master
master
1m 24s