<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-05-05 03:54:39Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2014-05-05 03:54:39Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant |
Add to Reading List |
Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr