First Page | Document Content | |
---|---|---|
![]() Date: 2007-04-17 17:02:53Mathematical logic Knowledge Mizar system QED manifesto Proof assistant Mathematical proof Automated proof checking Andrzej Trybulec Constructivism Logic Mathematics Formal methods | Source URL: mizar.orgDownload Document from Source WebsiteFile Size: 454,60 KBShare Document on Facebook |