Prooftoys

Sample HTML for embedding Prooftoys in a web page

Here is complete HTML for a sample page that embeds a Prooftoys proof editor.

<!DOCTYPE html>
<html lang="en">
<head>
  <title>Prooftoys embedding</title>
  <link rel="stylesheet" href="https://prooftoys.org/css/pt.css">  <===
</head>
<body>
  <h1>Prooftoys embedding -- sample page</h1>
  <div class=proof-editor></div>                                   <===
  <script src="https://code.jquery.com/jquery-3.6.0.js"></script>  <===
  <script src="https://prooftoys.org/js/all.js"></script>          <===
</body>
</html>

Put the stylesheet link in the head section and the scripts at the bottom of the body. The div can go anywhere within the content of the page, and there can be more than one of them.

Preloading steps into a proof editor

<div class="proof-editor" data-steps='
(steps
(1 consider (t (4 * pi * r ** 2 = (4 / 3) * pi * r ** 3)))
)'></div>