【文件属性】：
文件名称：hs-to-coq：将Haskell源代码转换为Coq源代码
文件大小：2.22MB
文件格式：ZIP
更新时间：2021-02-04 03:12:45
haskell coq HaskellCoq
高速转coq
加入我们的讨论：
此存储库包含从Haskell代码到等效Coq代码的转换器，作为项目的组件的一部分。
CPP'18论文由Antal Spector-Zabusky，Joachim Breitner，Christine Rizkallah和Stephanie Weirich撰写，题为 。 本文介绍以下示例：
从GHC的FPGA实现多集的实现
赫顿的剃刀
base/目录的来源
Joachim Breitner，Antal Spector-Zabusky，Yao Li，Christine Rizkallah，John Wiegley和Stephanie Weirich撰写的