If you already know how to use cabal packages or Nix flakes, and how to use Pandoc filters, you can skip directly to the tutorial. Note: Flakes must be enabled in your Nix or NixOS installation. One ...

This tutorial is available as a github repository that you may clone and run locally / interactively on your machine with the prerequisite Jupyter / IPython kernel installed. I have used Python 2.7.11 ...

This paper presents a semi-automated methodology for generating geometric proof problems of the kind found in a high-school curriculum. We formalize the notion of a geometry proof problem and describe ...