http://wiki.huihoo.com/wiki/?action=history&feed=atom&title=%E6%96%87%E4%BB%B6%3ASoftware-Foundations-Volume-2-Programming-Language-Foundations.jpg 2026-04-08T03:48:08Z 本wiki的该页面的版本历史 MediaWiki 1.19.2 http://wiki.huihoo.com/wiki/?title=%E6%96%87%E4%BB%B6:Software-Foundations-Volume-2-Programming-Language-Foundations.jpg&diff=167227&oldid=prev 2024-12-30T07:48:13Z

<p>https://softwarefoundations.cis.upenn.edu/ <a href="/wiki/%E5%88%86%E7%B1%BB:Software_Foundations" title="分类:Software Foundations">category:Software Foundations</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:Coq" title="分类:Coq">category:coq</a></p> <p><b>新页面</b></p><div>https://softwarefoundations.cis.upenn.edu/<br /> <br /> [[category:Software Foundations]]<br /> [[category:formal]]<br /> [[category:coq]]</div>

Allen