Welcome


What is it?

A list of theorems, proofs, and references. Algebraic and natural deducation proofs have been formalized in Isabelle. Proofs by method of truth table have been generated by computer program to ensure their validity. Whenever possible, I reference free resources, such as Khan Academy, Sarada Herke, Numberphile, ProofWiki, Wikipedia, etc. Failing that, I reference established mathematical texts.

Who is it for?

Teachers of mathematics, high-school seniors, undergraduates, and amateur mathematicians.

What does it cost?

The cost is $3 per month or $30 per year. There will never be ads or a donation drive on the free or paid version of the index. Sample pages are available below, to give you an idea of what you're money gets you. This Website functions as a preview to the index. You can securely purchase the index, with proofs and references included, from Gumroad.


Sample pages


Search the index by topic

Courses