http://wiki.huihoo.com/wiki/?action=history&feed=atom&title=%E6%96%87%E4%BB%B6%3AMathematical-vs-Formal-Proof.png 2026-05-14T10:27:06Z 本wiki的该页面的版本历史 MediaWiki 1.19.2 http://wiki.huihoo.com/wiki/?title=%E6%96%87%E4%BB%B6:Mathematical-vs-Formal-Proof.png&diff=166128&oldid=prev 2022-10-15T01:00:38Z

<p>图片取自：https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf <a href="/wiki/%E5%88%86%E7%B1%BB:Mathematics" title="分类:Mathematics">category:mathematics</a> <a href="/wiki/%E5%88%86%E7%B1%BB:Formal" title="分类:Formal">category:formal</a> <a href="/wiki/%E5%88%86%E7%B1%BB:Proof_assistant" title="分类:Proof assistant">category:proof assistant</a> <a href="/wiki/%E5%88%86%E7%B1%BB:ML" title="分类:ML">category:ML</a></p> <p><b>新页面</b></p><div>图片取自：https://www.kth.se/social/files/596318bc56be5bfdc343d436/itp-course.pdf<br /> <br /> [[category:mathematics]]<br /> [[category:formal]]<br /> [[category:proof assistant]]<br /> [[category:ML]]</div>

Allen