Build and Deploy Documentation

Workflow runs for Build and Deploy Documentation

• feat(Complexity): Query Complexity of Boolean Functions (aka Decision…

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

  Oct 18, 202624m 34s
  More actions for workflow run 445

• 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

• chore: bump toolchain to v4.36.0-rc1 (#1141)

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

  Oct 16, 202641m 43s
  More actions for workflow run 443

• feat(MultiTapeTM): tidy computations (#1126)

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

  Oct 15, 20265m 47s
  More actions for workflow run 442

• refactor(MultiTape): rename spaceUsed to space (#1133)

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

  Oct 15, 202647m 16s
  More actions for workflow run 441

• fix: prepare for Mathlib's Set becoming a structure (#1134)

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

  Oct 14, 202632m 20s
  More actions for workflow run 440

• refactor(MultiTape): express simulations and tape specifications thro…

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

  Oct 14, 202635m 13s
  More actions for workflow run 439

• feat(Foundations/Order): add Huntington's axioms for Boolean Algebras…

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

  Oct 13, 202639m 0s
  More actions for workflow run 438

• chore: bump toolchain to v4.35.0 (#1132)

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

  Oct 13, 202647m 28s
  More actions for workflow run 437

• feat: first definitions for relation algebras (#1127)

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

  Oct 13, 202647m 17s
  More actions for workflow run 436

• feat(Foundations): define polynomial growth and relate it to big-O (#…

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

  Oct 13, 20264m 27s
  More actions for workflow run 435

• feat(MultiTapeTM): add a combinator that repeats a machine (#1021)

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

  Oct 13, 202646m 20s
  More actions for workflow run 434

• feat: generalize lcAt_openRec_iff_lcAt (#833)

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

  Oct 12, 202647m 8s
  More actions for workflow run 433

• feat: FullEta.steps_fv (#807)

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

  Oct 12, 202648m 47s
  More actions for workflow run 432

• fix: require public imports for CheckInitImports (#1110)

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

  Oct 12, 202648m 1s
  More actions for workflow run 431

• chore: address weekly linting report (#1128)

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

  Oct 12, 202647m 11s
  More actions for workflow run 430

• feat(MultiTapeTM): simp lemma for q₀ (#1125)

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

  Oct 12, 202642m 34s
  More actions for workflow run 429

• feat(Circuit): count full-basis operations and lines (#1033)

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

  Oct 11, 20265m 12s
  More actions for workflow run 428

• feat(Fin): appending constant tuples and updating appended tuples (#1…

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

  Oct 11, 202639m 59s
  More actions for workflow run 427

• feat(Circuit): prove completeness of the full basis (#1029)

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

  Oct 11, 20265m 37s
  More actions for workflow run 426

• style: tidy classical reasoning (#1114)

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

  Oct 11, 202639m 38s
  More actions for workflow run 425

• fix(LTSCat): make LTS morphisms universe polymorphic (#1121)

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

  Oct 10, 202646m 20s
  More actions for workflow run 424

• chore: drop unused imports (#1115)

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

  Oct 10, 202650m 39s
  More actions for workflow run 423

• feat(FLTS): Synchronising trace (#1106)

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

  Oct 10, 202648m 37s
  More actions for workflow run 422

• feat(Circuit): simulate bounded arities in the full basis (#1026)

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

  Oct 10, 20264m 59s
  More actions for workflow run 421