projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ddac2a6) | patch
NaturalDeduction: allow multi-rule implementations for SequentExpansion and TreeStruc...
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 28 Mar 2011 00:21:22 +0000 (17:21 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 28 Mar 2011 00:21:22 +0000 (17:21 -0700)
commit786b693ac8d5f2081db75b49bba838a6cff7e2f6
tree424a7d172731ea649954a1bd58c87ef1a96b0bc4tree | snapshot
parentddac2a6a7301788326cd9107965e59fc0804daadcommit | diff
NaturalDeduction: allow multi-rule implementations for SequentExpansion and TreeStructuralRules
src/NaturalDeduction.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC