tcs icon indicating copy to clipboard operation
tcs copied to clipboard

Published 20 hours ago • verified publisher icon boazbk

Chapter 11: Is Every Theorem Proveable? Latex Issues

Open GabrielDWu opened this issue 2 years ago • 1 comments

Chapter name: Is Every Theorem Proveable?

List of bugs/typos: image Halting From Proofs algorithm doesn't correctly format the Latex in the "if" statements.

GabrielDWu avatar Sep 02 '22 16:09 GabrielDWu

Also in Busy Beaver Problem, latex issues image

GabrielDWu avatar Sep 02 '22 17:09 GabrielDWu