Rigorous proofs for key results in mathematics, including calculus, algebra, and probability.

Rigorous proofs for key results in physics, including quantum mechanics.

Rigorous proofs for key results in computer science, including computational complexity.

Rigorous proofs for key results in machine learning.