September 11

From Gnomon Chronicles
Revision as of 04:50, 28 June 2023 by Admin (talk | contribs)
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