Build and Deploy Documentation

Workflow runs for Build and Deploy Documentation

• refactor(MultiTape): define deterministic TM via NTM (#964)

  skipped:
  Build and Deploy Documentation#19:Commit1b51f0cpushedbycrei
  main

  Oct 11, 20268s
  More actions for workflow run 19

• Merge remote-tracking branch 'self/main'

  skipped:
  Build and Deploy Documentation#18:Commitdd961cepushedbycrei
  main

  Jun 10, 20261s
  More actions for workflow run 18

• Function view for tapes. (#160)

  skipped:
  Build and Deploy Documentation#17:Commit02c9109pushedbycrei
  main

  May 5, 20261s
  More actions for workflow run 17

• Remove StrEnc.fromData.

  skipped:
  Build and Deploy Documentation#16:Commitff7f42fpushedbycrei
  main

  May 5, 20262s
  More actions for workflow run 16

• Merge remote-tracking branch 'origin/main'

  skipped:
  Build and Deploy Documentation#15:Commit62f5a7cpushedbycrei
  main

  May 4, 20261s
  More actions for workflow run 15

• Lemmas about atPath.

  skipped:
  Build and Deploy Documentation#14:Commit284e1b2pushedbycrei
  main

  Apr 30, 20261s
  More actions for workflow run 14

• Head position over time

  skipped:
  Build and Deploy Documentation#13:Commitc87ed82pushedbycrei
  main

  Apr 30, 20261s
  More actions for workflow run 13

• Semantics of atPath

  skipped:
  Build and Deploy Documentation#12:Commit4e9da07pushedbycrei
  main

  Apr 29, 20262s
  More actions for workflow run 12

• Merge pull request #165 from crei/fix_build

  skipped:
  Build and Deploy Documentation#11:Commitce302ddpushedbycrei
  main

  Apr 29, 20261s
  More actions for workflow run 11

• Merge remote-tracking branch 'origin/main'

  skipped:
  Build and Deploy Documentation#10:Commitc1f2e8epushedbycrei
  main

  Apr 29, 20261s
  More actions for workflow run 10

• General lemma for single right movement

  skipped:
  Build and Deploy Documentation#9:Commit53ce134pushedbycrei
  main

  Apr 17, 20261s
  More actions for workflow run 9

• Simplify encoding

  skipped:
  Build and Deploy Documentation#8:Commit5fd3221pushedbycrei
  main

  Apr 2, 20261s
  More actions for workflow run 8

• Merge pull request #135 from crei/utm

  skipped:
  Build and Deploy Documentation#7:Commit5c7488cpushedbycrei
  main

  Mar 30, 2026Skipped
  More actions for workflow run 7

• Merge pull request #136 from crei/cleanup

  skipped:
  Build and Deploy Documentation#6:Commit58e3f40pushedbycrei
  main

  Mar 30, 20261s
  More actions for workflow run 6

• Multi-tape TMs and computations on structured data

  skipped:
  Build and Deploy Documentation#5:Commit918de0bpushedbycrei
  main

  Mar 27, 20261s
  More actions for workflow run 5

• chore: split LTS/Basic.lean into more manageable pieces (#453)

  skipped:
  Build and Deploy Documentation#4:Commit5245717pushedbycrei
  main

  Mar 27, 20261s
  More actions for workflow run 4

• feat: helper lemmas for use in the planned strong norm proof (#381)

  skipped:
  Build and Deploy Documentation#3:Commit11957b8pushedbycrei
  main

  Mar 4, 20262s
  More actions for workflow run 3

• chore(ci): module aware shake, test flags (#379)

  skipped:
  Build and Deploy Documentation#2:Commit2293f61pushedbycrei
  main

  Feb 28, 20261s
  More actions for workflow run 2

• feat: prove the Ramsey theorem for infinite graphs (#281)

  skipped:
  Build and Deploy Documentation#1:Commit18b4b74pushedbycrei
  main

  Feb 20, 20261s
  More actions for workflow run 1