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.

### Like this:

Like Loading...

*Related*

Tags: mathematics

This entry was posted on September 22, 2007 at 5:35 pm and is filed under Uncategorized. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

## Leave a Reply