Sway requires JavaScript

This web browser is either blocking scripts or does not support JavaScript.

How to turn on JavaScriptpdf read Logic for Computer Science Foundations of Automatic Theorem