diff options
| author | Camil Staps | 2016-06-10 10:36:49 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-10 15:20:38 +0200 |
| commit | 97325a5ef30b63c68adaffb69a0bcfa7f1135d64 (patch) | |
| tree | 3d540a204f4db970444e92cf3b35b6cd1585a5a3 /LaTeX.dcl | |
| parent | Minimalistic prover (diff) | |
Induction proofs using variables & assumptions
Diffstat (limited to 'LaTeX.dcl')
0 files changed, 0 insertions, 0 deletions