Check tutorial

Workflow runs for Check tutorial

• Merge pull request #1 from lacoco-lab/blog/typst-tola

  completed successfully:
  Check tutorial#9:Commitb7f16d0pushedbyjandornhege
  main

  Nov 5, 202610s
  More actions for workflow run 9

• Blog/typst tola

  completed successfully:
  Check tutorial#8:Pull request#1openedbyjandornhege
  blog/typst-tola

  Nov 5, 202610s
  More actions for workflow run 8

• Clarify tutorial examples and consolidate the working project

  completed successfully:
  Check tutorial#7:Commit787d165pushedbyjandornhege
  blog/typst-tola

  Nov 4, 202614s
  More actions for workflow run 7

• Keep one manuscript source for PDF and HTML

  completed successfully:
  Check tutorial#6:Commitc3d574apushedbyjandornhege
  blog/typst-tola

  Oct 29, 202612s
  More actions for workflow run 6

• Merge remote version2 tutorial while preserving integrated local draft

  completed successfully:
  Check tutorial#5:Commit5a21b5fpushedbyjandornhege
  blog/interactive-tutorial

  Oct 20, 202611s
  More actions for workflow run 5

• second version of tutorial

  completed successfully:
  Check tutorial#4:Commit50f6a6bpushedbybveseli
  blog/interactive-tutorial

  Oct 20, 202614s
  More actions for workflow run 4

• Explain interactive traces and add guided example controls

  completed successfully:
  Check tutorial#3:Commit7d8a4e9pushedbyjandornhege
  blog/interactive-tutorial

  Oct 19, 202611s
  More actions for workflow run 3

• Use neutral exposition and introduce interactive examples

  completed successfully:
  Check tutorial#2:Commit7e007edpushedbyjandornhege
  blog/interactive-tutorial

  Oct 19, 202611s
  More actions for workflow run 2

• Add interactive C-RASP tutorial with Python playground and evidence g…

  completed successfully:
  Check tutorial#1:Commit41860eepushedbyjandornhege
  blog/interactive-tutorial

  Oct 19, 202616s
  More actions for workflow run 1