《alf.doc》查看内容详情
亲，网页上所展示的文章内容和下载文档内容是一致的，下载前请点击“查看内容详情”确认是否您所要下载的内容。
中文拼写：阿尔夫名字含义：聪明，小精灵，Alfred的昵称名字来源：瑞典语名字类别：男英英释义： ALFALF ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda, Cayenne and Coq proof assistants an
