projects / coq-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 703bff3) | patch
add proper proofs of the fact that every rule has exactly one conclusion
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 13:41:33 +0000 (05:41 -0800)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 7 Mar 2011 13:41:33 +0000 (05:41 -0800)
commit061af1379740c1118e42ae7c37ea294b4c2174f3
treecb67e4068c806032f8736003b5d3b84371e5ba7ctree | snapshot
parent703bff3b209bd7d114b49cb736da8af167a4ec71commit | diff
add proper proofs of the fact that every rule has exactly one conclusion
src/HaskProof.v diff | blob | history
src/HaskProofToLatex.v diff | blob | history
Coq proofs and code accompanying the HetMet extensions for GHC