hs-to-coq：将Haskell源代码转换为Coq源代码 （1301个子文件） 
_CoqProject 867B _CoqProject 829B _CoqProject 764B _CoqProject 601B _CoqProject 574B _CoqProject 434B _CoqProject 352B _CoqProject 320B _CoqProject 312B _CoqProject 290B _CoqProject 269B _CoqProject 268B _CoqProject 257B _CoqProject 242B _CoqProject 221B _CoqProject 188B _CoqProject 188B _CoqProject 104B _CoqProject 104B _CoqProject 67B _CoqProject 59B _CoqProject 44B base 26B make.bat 817B gc.c 11KB main.c 1KB hs-to-coq.cabal 7KB containers-extracted.cabal 6KB structural-isomorphism-plugin.cabal 2KB Control 25B core-edits 8KB tally.csv 63KB Data 22B Data 14B ghcrec.dot 5KB ghcrec.dot 5KB ghc-modules.dot 5KB edits 17KB axiomatize-types.edits 14KB edits 11KB edits 10KB edits 8KB edits 7KB edits 6KB edits 6KB edits 6KB edits 5KB edits 5KB edits 4KB edits 4KB edits 4KB edits 4KB edits 4KB edits 4KB edits 4KB edits 4KB edits 3KB edits 3KB edits 3KB edits 3KB edits 3KB edits 3KB edits 3KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 2KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB edits 1KB共 1301 条
- 1
- 2
- 3
- 4
- 5
- 6
- 14
资源评论
