I use bookdown to generate documents in both html and PDF. How could I use results from inline R code in theorem and example environments? Here is what I tried: --- title: "Test" output: bookdow...

According to Böhm-Jacopini theorem, an algorithm can be written using only three statements: sequence selection iteration Lots of teachers, assumes that theorem as an act of faith, and they tea...

Has anyone tried proving Z3 with Z3 itself? Is it even possible, to prove that Z3 is correct, using Z3? More theoretical, is it possible to prove that tool X is correct, using X itself?

I'm trying to find a way to put the following first order logic expression into Prolog: (p(0) or p(1)) and not (p(0) and p(1)) This means that it should respond in the following way to queries:...

How can I write theorem proofs using Prolog? I have tried to write it like this: parallel(X,Y) :- perpendicular(X,Z), perpendicular(Y,Z), X \== Y, !. perpendicular(X,Y) :- perpendicular(X,Z),...

I want to number all theorems and corollaries on the same (section) counter. But when I do this, cleveref names them both 'theorem'. Here is a minimal example: \documentclass{amsart} \usepackage{...