文件名称：Lambda Tamer-开源
文件大小：117KB
文件格式：TGZ
更新时间：2024-05-15 13:53:24
开源软件
基于Coq证明助手的用于使编程语言和编译器形式化的工具集合
【文件预览】：
ltamer
----.hg_archival.txt(94B)
----LICENSE(1KB)
----src()
--------coq()
----examples()
--------SysF()
--------Untyped()
--------POPLmark()
--------Compose()
--------STLC()
--------Makefile.example(441B)
--------Makefile(264B)
--------STLCPlus()
--------PatMatch()
----Makefile(207B)
----.hgignore(73B)