Code

Chapter 1#2

Code

Draft

RyanR712 wants to merge 8 commits intomasterRAIRLab/EG-Theorem-Proving-in-PMH:masterfrom 1-first-chapterRAIRLab/EG-Theorem-Proving-in-PMH:1-first-chapterCopy head branch name to clipboard

+139-7

Commits

Commits on Dec 18, 2023

• Chapter 1 overview, SUMMARY update, SoA start

  RyanR712

  committed
  0cd408c

  Copy full SHA for 0cd408c

• Merge workflow changes into 1st chapter

  RyanR712

  committed
  bc31759

  Copy full SHA for bc31759

• sheetOfAssertion draft, README change, images

  RyanR712

  committed
  26de9f7

  Copy full SHA for 26de9f7

• Supposed to have gone with previous commit

  RyanR712

  committed
  ef185e0

  Copy full SHA for ef185e0

• Structure for Chapter 1, Chapter 1.2 draft

  RyanR712

  committed
  6806fe0

  Copy full SHA for 6806fe0

• Testing if the workflow detects a failed build

  RyanR712

  committed
  dbb27ad

  Copy full SHA for dbb27ad

• Excellent. Reverting previous change

  RyanR712

  committed
  bfdfbc0

  Copy full SHA for bfdfbc0

Commits on Dec 21, 2023

• Mathjax-ifying existing equations, book config

  RyanR712

  committed
  a3d41ef

  Copy full SHA for a3d41ef