September 11

From Gnomon Chronicles
Jump to navigation Jump to search


Better Than News

Beyond Plausible

In Other Words

Are You Sure

... that athematician and computer scientist Andrzej Trybulec developed the Mizar system, comprising: a formal language for writing mathematical definitions and proofs; a proof assistant which is able to mechanically check proofs written in this language; and a library of formalized mathematics which can be used in the proof of new theorems?

Topic of the Day

9/11