Skip to content

Actions: hyperpolymath/tangle

Actions

Lean Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean-proofs.yml
33 workflow runs
33 workflow runs

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
feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct… Lean Proofs #33: Commit cf56397 pushed by hyperpolymath
18m 10s main
main
18m 10s
feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construction Lean Proofs #32: Pull request #98 opened by hyperpolymath
5m 33s feat/epistemic-types
feat/epistemic-types
5m 33s
feat(#92): widths need not agree for ==, and match arms join on wid… Lean Proofs #31: Commit 478857f pushed by hyperpolymath
1m 41s main
main
1m 41s
feat(#92): widths need not agree for ==, and match arms join on width Lean Proofs #30: Pull request #95 opened by hyperpolymath
48s feat/width-widening-92
feat/width-widening-92
48s
feat(tg-7): == on braids decides braid-group equivalence (#50 rulin… Lean Proofs #29: Commit f489211 pushed by hyperpolymath
56s main
main
56s
feat(tg-7): == on braids decides braid-group equivalence (#50 ruling) Lean Proofs #28: Pull request #87 synchronize by hyperpolymath
58s feat/tg7-braid-equality
feat/tg7-braid-equality
58s
feat(tg-7): == on braids decides braid-group equivalence (#50 ruling) Lean Proofs #27: Pull request #87 opened by hyperpolymath
59s feat/tg7-braid-equality
feat/tg7-braid-equality
59s
chore(deps): bump the actions group with 4 updates (#80) Lean Proofs #26: Commit c8c9acb pushed by hyperpolymath
48s main
main
48s
chore(deps): bump the actions group with 4 updates Lean Proofs #25: Pull request #80 opened by dependabot Bot
48s dependabot/github_actions/actions-9af6a8668f
dependabot/github_actions/actions-9af6a8668f
48s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Lean Proofs #24: Commit 5a18895 pushed by hyperpolymath
18h 13m 50s main
main
18h 13m 50s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Lean Proofs #23: Pull request #59 opened by hyperpolymath
18h 3m 24s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
18h 3m 24s
chore(deps): bump actions/checkout in the actions group Lean Proofs #22: Commit 2fbe1ea pushed by hyperpolymath
4m 33s main
main
4m 33s
chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions group Lean Proofs #21: Pull request #54 opened by dependabot Bot
51s dependabot/github_actions/actions-2217aebe03
dependabot/github_actions/actions-2217aebe03
51s
chore(tg-6): record wasmi dev-dependency in Cargo.lock Lean Proofs #20: Commit 5ed31f8 pushed by hyperpolymath
54s main
main
54s
feat(tg-1): let-binding + de Bruijn substitution metatheory (weakenin… Lean Proofs #19: Commit 9b3a32d pushed by hyperpolymath
42s main
main
42s
feat(tg-1): let-binding + de Bruijn substitution metatheory Lean Proofs #18: Pull request #44 opened by hyperpolymath
36s claude/hopeful-fermi-iXnba
claude/hopeful-fermi-iXnba
36s
feat(echo): echoEq — structured loss for equality (residue = operand … Lean Proofs #17: Commit bc2a0e6 pushed by hyperpolymath
27s main
main
27s
feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized) Lean Proofs #16: Pull request #43 synchronize by hyperpolymath
23s claude/hopeful-fermi-iXnba
claude/hopeful-fermi-iXnba
23s
feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized) Lean Proofs #15: Pull request #43 synchronize by hyperpolymath
25s claude/hopeful-fermi-iXnba
claude/hopeful-fermi-iXnba
25s
feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized) Lean Proofs #14: Pull request #43 opened by hyperpolymath
21s claude/hopeful-fermi-iXnba
claude/hopeful-fermi-iXnba
21s
chore(deps): bump the actions group across 1 directory with 2 updates Lean Proofs #13: Commit 357b806 pushed by hyperpolymath
18s main
main
18s
chore(deps): bump the actions group across 1 directory with 2 updates Lean Proofs #12: Pull request #35 synchronize by hyperpolymath
18s dependabot/github_actions/actions-3c815a503c
dependabot/github_actions/actions-3c815a503c
18s
chore(deps): bump the actions group across 1 directory with 2 updates Lean Proofs #11: Pull request #35 synchronize by hyperpolymath
16s dependabot/github_actions/actions-3c815a503c
dependabot/github_actions/actions-3c815a503c
16s
ci+hooks: auto-bootstrap Lean for web sessions + consolidate CI onto … Lean Proofs #10: Commit cd3f401 pushed by hyperpolymath
17s main
main
17s
chore(deps): bump the actions group across 1 directory with 2 updates Lean Proofs #9: Pull request #35 synchronize by dependabot Bot
18s dependabot/github_actions/actions-3c815a503c
dependabot/github_actions/actions-3c815a503c
18s