All workflows

Workflow runs

• feat(Distributed): formalize notions of consistency for replicated da…

  completed successfully:
  Build and Deploy Documentation#444:Commit530b49bpushedbygithub-merge-queue[bot]Bot
  main

  Oct 17, 202626m 48s
  More actions for workflow run 444

• feat(Distributed): formalize notions of consistency for replicated da…

  completed successfully:
  Lean Action CI#6907:Commit530b49bpushedbygithub-merge-queue[bot]Bot
  main

  Oct 17, 20263m 50s
  More actions for workflow run 6907

• feat(Distributed): formalize notions of consistency for replicated da…

  completed successfully:
  Run TODO to Issue#530:Commit530b49bpushedbygithub-merge-queue[bot]Bot
  main

  Oct 17, 202616s
  More actions for workflow run 530

• Lean Action CI

  completed successfully:
  Lean Action CI#6906:Merge group checks requested
  Oct 17, 20264m 11s
  More actions for workflow run 6906

• Check PR title for commit convention

  completed successfully:
  Check PR title for commit convention#5881:Merge group checks requested
  Oct 17, 20265s
  More actions for workflow run 5881

• feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction

  completed successfully:
  Lean Action CI#6905:Pull request#475synchronizebyzayn7lie
  zayn7lie:main

  Oct 17, 20263m 20s
  More actions for workflow run 6905

• feat: de Bruijn Syntax for Untyped Lambda Calculus and a proof of Church-Rosser with Parallel Reduction

  completed successfully:
  Check PR title for commit convention#5880:Pull request#475synchronizebyzayn7lie
  zayn7lie:main

  Oct 17, 20268s
  More actions for workflow run 5880

• feat: Terminating FullEta

  completed successfully:
  Check PR title for commit convention#5879:Pull request#822synchronizebylengyijun
  awesome-lambda-calculus:sn_fulleta

  Oct 17, 20269s
  More actions for workflow run 5879

• feat: Terminating FullEta

  completed successfully:
  Lean Action CI#6904:Pull request#822synchronizebylengyijun
  awesome-lambda-calculus:sn_fulleta

  Oct 17, 20263m 6s
  More actions for workflow run 6904

• feat: sn_eta_steps_inv

  completed successfully:
  Check PR title for commit convention#5878:Pull request#860synchronizebylengyijun
  awesome-lambda-calculus:paretac

  Oct 17, 20265s
  More actions for workflow run 5878

• feat: sn_eta_steps_inv

  completed successfully:
  Lean Action CI#6903:Pull request#860synchronizebylengyijun
  awesome-lambda-calculus:paretac

  Oct 17, 20263m 25s
  More actions for workflow run 6903

• refactor: correct para_open_out variable orientation

  completed successfully:
  Lean Action CI#6902:Pull request#920synchronizebylengyijun
  awesome-lambda-calculus:para_open_out

  Oct 17, 20262m 57s
  More actions for workflow run 6902

• refactor: correct para_open_out variable orientation

  completed successfully:
  Check PR title for commit convention#5877:Pull request#920synchronizebylengyijun
  awesome-lambda-calculus:para_open_out

  Oct 17, 20265s
  More actions for workflow run 5877

• fix: remove grind attr from Xi.step_lc_r

  completed successfully:
  Lean Action CI#6901:Pull request#751synchronizebylengyijun
  awesome-lambda-calculus:not_grind_step_lc_r

  Oct 17, 20263m 15s
  More actions for workflow run 6901

• fix: remove grind attr from Xi.step_lc_r

  completed successfully:
  Check PR title for commit convention#5876:Pull request#751synchronizebylengyijun
  awesome-lambda-calculus:not_grind_step_lc_r

  Oct 17, 20265s
  More actions for workflow run 5876

• refactor(Locallynameless): abbrev multiApp = List.foldl app

  completed successfully:
  Lean Action CI#6900:Pull request#710synchronizebylengyijun
  awesome-lambda-calculus:multiapp

  Oct 17, 20262m 52s
  More actions for workflow run 6900

• refactor(Locallynameless): abbrev multiApp = List.foldl app

  completed successfully:
  Check PR title for commit convention#5875:Pull request#710synchronizebylengyijun
  awesome-lambda-calculus:multiapp

  Oct 17, 20265s
  More actions for workflow run 5875

• feat: Add BetaAt uniqueness, FV preservation, and left redex-count bound

  completed successfully:
  Lean Action CI#6899:Pull request#800synchronizebylengyijun
  awesome-lambda-calculus:leftmost

  Oct 17, 20263m 15s
  More actions for workflow run 6899

• feat: Add BetaAt uniqueness, FV preservation, and left redex-count bound

  completed successfully:
  Check PR title for commit convention#5874:Pull request#800synchronizebylengyijun
  awesome-lambda-calculus:leftmost

  Oct 17, 20268s
  More actions for workflow run 5874

• feat(LocallyNameless/Untyped): FullEta.steps_open_cong_l

  completed successfully:
  Lean Action CI#6898:Pull request#705synchronizebylengyijun
  awesome-lambda-calculus:fulleta.steps_open_cong_l

  Oct 17, 20262m 46s
  More actions for workflow run 6898

• feat(LocallyNameless/Untyped): FullEta.steps_open_cong_l

  completed successfully:
  Check PR title for commit convention#5873:Pull request#705synchronizebylengyijun
  awesome-lambda-calculus:fulleta.steps_open_cong_l

  Oct 17, 20266s
  More actions for workflow run 5873

• feat(LocallyNameless): FullBetaEta

  completed successfully:
  Check PR title for commit convention#5872:Pull request#862synchronizebylengyijun
  awesome-lambda-calculus:fullbetaeta

  Oct 17, 20267s
  More actions for workflow run 5872

• feat(LocallyNameless): FullBetaEta

  completed successfully:
  Lean Action CI#6897:Pull request#862synchronizebylengyijun
  awesome-lambda-calculus:fullbetaeta

  Oct 17, 20262m 57s
  More actions for workflow run 6897

• feat(Relation): add TransGenCommute, SemiDiamondCommute

  completed successfully:
  Check PR title for commit convention#5871:Pull request#1073synchronizebylengyijun
  awesome-lambda-calculus:eta-postpone-1

  Oct 17, 20265s
  More actions for workflow run 5871

• feat(Relation): add TransGenCommute, SemiDiamondCommute

  completed successfully:
  Lean Action CI#6896:Pull request#1073synchronizebylengyijun
  awesome-lambda-calculus:eta-postpone-1

  Oct 17, 20264m 8s
  More actions for workflow run 6896