Run TODO to Issue

Workflow runs for Run TODO to Issue

• refactor(RelationAlgebra): remove SquareRelations (#1223)

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

  Nov 15, 202623s
  More actions for workflow run 579

• feat(MultiTapeTM): concatenate outputs of two machines (#1209)

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

  Nov 15, 202618s
  More actions for workflow run 578

• chore: Bump mathlib dependency to bbff295 (#1220)

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

  Nov 14, 202615s
  More actions for workflow run 577

• feat(Bisimulation): Stratification of Bisimilarity (#1177)

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

  Nov 14, 202622s
  More actions for workflow run 576

• refactor(RelationAlgebra): prove the atom cycle law directly (#1214)

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

  Nov 13, 202613s
  More actions for workflow run 575

• feat(NaturalDeduction): move hypotheses between the axiom set and con…

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

  Nov 13, 202620s
  More actions for workflow run 574

• feat(Logic): information order for Kleene (#1142)

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

  Nov 12, 202618s
  More actions for workflow run 573

• chore: remove accidentally committed file (#1217)

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

  Nov 12, 202615s
  More actions for workflow run 572

• feat(Foundations/Order): results on OrderHom.{prev/next}Fixed (#1215)

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

  Nov 12, 202617s
  More actions for workflow run 571

• feat(RelationAlgebra): atom structures (#1161)

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

  Nov 12, 202616s
  More actions for workflow run 570

• ci: bump the actions group across 1 directory with 5 updates (#912)

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

  Nov 12, 202615s
  More actions for workflow run 569

• feat(Logic): truth values of Kleene's strong three-valued logic (#1140)

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

  Nov 12, 202614s
  More actions for workflow run 568

• refactor(Bisimilarity): use the ~ notation also for the Bisimilarity …

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

  Nov 12, 202616s
  More actions for workflow run 567

• fix(PL/NaturalDeduction): better autoParams for inclusion goals (#1212)

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

  Nov 12, 202614s
  More actions for workflow run 566

• feat(Computability/Circuit): define the support of a circuit (#1181)

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

  Nov 12, 202616s
  More actions for workflow run 565

• feat(Computability/Circuit): map inputs and outputs of circuits with …

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

  Nov 12, 202618s
  More actions for workflow run 564

• feat(Foundations/Logic): intuitionistic and classical inference syste…

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

  Nov 10, 202623s
  More actions for workflow run 563

• feat(PL/NaturalDeduction): autoParams for membership and inclusion go…

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

  Nov 10, 202614s
  More actions for workflow run 562

• refactor(Logics/Propositional): overhaul treatment of axiom sets (#1200)

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

  Nov 9, 202617s
  More actions for workflow run 561

• feat(Governance): add ctchou and thomaskwaring as maintainers, plus a…

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

  Nov 9, 202616s
  More actions for workflow run 560

• feat(Order): derive HeytingAlgebra (WithBot α) from `GeneralizedHey…

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

  Nov 8, 202613s
  More actions for workflow run 559

• feat(RelationAlgebra): a few small lemmas, cleanup (#1160)

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

  Nov 8, 202611s
  More actions for workflow run 558

• chore: bump mathlib to 887bb84, fix breaking changes (#1203)

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

  Nov 7, 202614s
  More actions for workflow run 557

• chore(ci): pin docs build to ubuntu-24.04 (#1191)

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

  Nov 5, 202616s
  More actions for workflow run 556

• chore: bump mathlib to 079459b, fix breaking changes (#1188)

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

  Nov 2, 202616s
  More actions for workflow run 555