Template:Are You Sure/September 11: Difference between revisions
Jump to navigation
Jump to search
(Created page with "... that athematician and computer scientist '''Andrzej Trybulec''' developed the Mizar system: a formal language for writing mathematical definitions and proofs, a proof...") |
No edit summary |
||
Line 1: | Line 1: | ||
... that athematician and computer scientist '''[[Andrzej Trybulec]]''' developed the Mizar system: a formal language for writing mathematical definitions and proofs | ... that athematician and computer scientist '''[[Andrzej Trybulec (nonfiction)|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? |
Latest revision as of 04:26, 11 September 2021
... 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?