Explore mathematical proofs graphically

Maths

\(\sqrt 2\) is irrational

Algorithms

Correctness of Dijkstra's algorithm Correctness of Kruskal's algorithm

Complexity theory

Karp-Lipton theorem