Code

update Arithmetization @ de211f4#9

Code

Merged

SnO2WMaN merged 3 commits intomasterFormalizedFormalLogic/Incompleteness:masterfrom update-488755FormalizedFormalLogic/Incompleteness:update-488755Copy head branch name to clipboardNov 28, 2024

+248-241

Commits

Commits on Nov 27, 2024

• arith

  iehality

  committed
  c4cf840

  Copy full SHA for c4cf840

• Merge branch 'master' into update-488755

  iehality

  committed
  6ad177d

  Copy full SHA for 6ad177d

Commits on Nov 28, 2024

• fix provability logic

  SnO2WMaN

  committed
  04328f8

  Copy full SHA for 04328f8