Template:Are You Sure/September 11

From Gnomon Chronicles
< Template:Are You Sure
Revision as of 04:25, 11 September 2021 by Admin (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

... that athematician and computer scientist Andrzej Trybulec developed the Mizar system: 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?

Retrieved from "https://gnomonchronicles.com/w/index.php?title=Template:Are_You_Sure/September_11&oldid=74192"