Lean Proofs

Workflow runs for Lean Proofs

• refactor: migrate Markdown to AsciiDoc (#116)

  completed successfully:
  Lean Proofs#35:Commit6894553pushedbyhyperpolymath
  main

  Aug 24, 202657m 41s
  More actions for workflow run 35

• refactor: migrate Markdown to AsciiDoc

  completed successfully:
  Lean Proofs#34:Pull request#116openedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 202657m 44s
  More actions for workflow run 34

• feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construct…

  completed successfully:
  Lean Proofs#33:Commitcf56397pushedbyhyperpolymath
  main

  Jul 29, 202618m 10s
  More actions for workflow run 33

• feat(tg-11): epistemic types — Epi[k, ρ, τ], non-factive by construction

  completed successfully:
  Lean Proofs#32:Pull request#98openedbyhyperpolymath
  feat/epistemic-types

  Jul 29, 20265m 33s
  More actions for workflow run 32

• feat(#92): widths need not agree for ==, and match arms join on wid…

  completed successfully:
  Lean Proofs#31:Commit478857fpushedbyhyperpolymath
  main

  Jul 29, 20261m 41s
  More actions for workflow run 31

• feat(#92): widths need not agree for ==, and match arms join on width

  completed successfully:
  Lean Proofs#30:Pull request#95openedbyhyperpolymath
  feat/width-widening-92

  Jul 29, 202648s
  More actions for workflow run 30

• feat(tg-7): == on braids decides braid-group equivalence (#50 rulin…

  completed successfully:
  Lean Proofs#29:Commitf489211pushedbyhyperpolymath
  main

  Jul 28, 202656s
  More actions for workflow run 29

• feat(tg-7): == on braids decides braid-group equivalence (#50 ruling)

  completed successfully:
  Lean Proofs#28:Pull request#87synchronizebyhyperpolymath
  feat/tg7-braid-equality

  Jul 28, 202658s
  More actions for workflow run 28

• feat(tg-7): == on braids decides braid-group equivalence (#50 ruling)

  completed successfully:
  Lean Proofs#27:Pull request#87openedbyhyperpolymath
  feat/tg7-braid-equality

  Jul 28, 202659s
  More actions for workflow run 27

• chore(deps): bump the actions group with 4 updates (#80)

  completed successfully:
  Lean Proofs#26:Commitc8c9acbpushedbyhyperpolymath
  main

  Jul 22, 202648s
  More actions for workflow run 26

• chore(deps): bump the actions group with 4 updates

  completed successfully:
  Lean Proofs#25:Pull request#80openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9af6a8668f

  Jul 22, 202648s
  More actions for workflow run 25

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

  completed successfully:
  Lean Proofs#24:Commit5a18895pushedbyhyperpolymath
  main

  Jun 24, 202618h 13m 50s
  More actions for workflow run 24

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

  completed successfully:
  Lean Proofs#23:Pull request#59openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 202618h 3m 24s
  More actions for workflow run 23

• chore(deps): bump actions/checkout in the actions group

  completed successfully:
  Lean Proofs#22:Commit2fbe1eapushedbyhyperpolymath
  main

  Jun 19, 20264m 33s
  More actions for workflow run 22

• chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions group

  completed successfully:
  Lean Proofs#21:Pull request#54openedbydependabot[bot]Bot
  dependabot/github_actions/actions-2217aebe03

  Jun 19, 202651s
  More actions for workflow run 21

• chore(tg-6): record wasmi dev-dependency in Cargo.lock

  completed successfully:
  Lean Proofs#20:Commit5ed31f8pushedbyhyperpolymath
  main

  Jun 14, 202654s
  More actions for workflow run 20

• feat(tg-1): let-binding + de Bruijn substitution metatheory (weakenin…

  completed successfully:
  Lean Proofs#19:Commit9b3a32dpushedbyhyperpolymath
  main

  Jun 13, 202642s
  More actions for workflow run 19

• feat(tg-1): let-binding + de Bruijn substitution metatheory

  completed successfully:
  Lean Proofs#18:Pull request#44openedbyhyperpolymath
  claude/hopeful-fermi-iXnba

  Jun 12, 202636s
  More actions for workflow run 18

• feat(echo): echoEq — structured loss for equality (residue = operand …

  completed successfully:
  Lean Proofs#17:Commitbc2a0e6pushedbyhyperpolymath
  main

  Jun 12, 202627s
  More actions for workflow run 17

• feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized)

  completed successfully:
  Lean Proofs#16:Pull request#43synchronizebyhyperpolymath
  claude/hopeful-fermi-iXnba

  Jun 12, 202623s
  More actions for workflow run 16

• feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized)

  completed successfully:
  Lean Proofs#15:Pull request#43synchronizebyhyperpolymath
  claude/hopeful-fermi-iXnba

  Jun 12, 202625s
  More actions for workflow run 15

• feat(echo): Option B value shape + product type + echoAdd (structured loss, generalized)

  completed successfully:
  Lean Proofs#14:Pull request#43openedbyhyperpolymath
  claude/hopeful-fermi-iXnba

  Jun 12, 202621s
  More actions for workflow run 14

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Lean Proofs#13:Commit357b806pushedbyhyperpolymath
  main

  Jun 6, 202618s
  More actions for workflow run 13

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Lean Proofs#12:Pull request#35synchronizebyhyperpolymath
  dependabot/github_actions/actions-3c815a503c

  Jun 6, 202618s
  More actions for workflow run 12

• chore(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  Lean Proofs#11:Pull request#35synchronizebyhyperpolymath
  dependabot/github_actions/actions-3c815a503c

  Jun 6, 202616s
  More actions for workflow run 11