hs to coq:将Haskell源代码转换为Coq源代码 源码

高速转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撰写的