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>