Hello world!

This blog will be devoted to formalized mathematics.

Formalized mathematics is the craft of writing mathematical proofs in a formal proof language so that they can be verified by a machine.

Tags: mathematics