September 11: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
(Created page with "{{Selected anniversaries/September 11}}")
 
No edit summary
Line 1: Line 1:
{{Daily Image/September 11}}
== Better Than News ==
{{Better Than News/September 11}}
== Are You Sure ==
{{Are You Sure/September 11}}
== On This Day in Fiction and Nonfiction ==
{{Selected anniversaries/September 11}}
{{Selected anniversaries/September 11}}
== Topic of the Day ==
{{Daily Favorites/September 11}}

Revision as of 07:09, 7 September 2022


Better Than News

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?

On This Day in Fiction and Nonfiction

Topic of the Day

9/11