projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77e8c70) | patch
add commented-out definitions for analytic proofs and cut elimination
authorAdam Megacz <megacz@cs.berkeley.edu>
Sun, 10 Apr 2011 19:37:36 +0000 (19:37 +0000)
committerAdam Megacz <megacz@cs.berkeley.edu>
Sun, 10 Apr 2011 19:37:36 +0000 (19:37 +0000)
commit2d963cf6994fa510fe67d5bf3852ffcc8090496c
treed21015436ac3fa7542ae9222c2b5d94ce834b47atree | snapshot
parent77e8c70f4fd7a32db036fee5884a98208d450de2commit | diff
add commented-out definitions for analytic proofs and cut elimination
src/NaturalDeduction.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC