math

A space dedicated to proofs and formal logic.