QaDiL is a collection of python programs/classes targeted for the production of
math notes in html
with interactive elements like quizzes, computer algebra and annotation.
It is built on top of Hypothesis, KaTeX and
Sage.
The input syntax is LaTeX like with certain interactive extensions like
\begin{proof}[showhide]
The proof is omitted here.
\end{proof}
indicating that an element in the LaTeX code (proof) must appear hidden in a button. QaDiL has been used extensively at Department of Mathematics at Aarhus University. A (somewhat) detailed manual is available at https://nielsthl.github.io/QaDiL.