注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. hs-to-coq：将Haskell源代码转换为Coq源代码-源码

  2. 高速转coq 加入我们的讨论： 此存储库包含从Haskell代码到等效Coq代码的转换器，作为项目的组件的一部分。 CPP'18论文由Antal Spector-Zabusky，Joachim Breitner，Christine Rizkallah和Stephanie Weirich撰写，题为 。 本文介绍以下示例： 从GHC的FPGA实现多集的实现 赫顿的剃刀 base/目录的来源 Joachim Breitner，Antal Spector-Zabusky，Yao Li，Chr

  3. 所属分类：其它