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 /reverse-ward.smf | |
| parent | Minimalistic prover (diff) | |
Induction proofs using variables & assumptions
Diffstat (limited to 'reverse-ward.smf')
| -rw-r--r-- | reverse-ward.smf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/reverse-ward.smf b/reverse-ward.smf new file mode 100644 index 0000000..8e99850 --- /dev/null +++ b/reverse-ward.smf @@ -0,0 +1,6 @@ +i "input" p +"input" g q +"\"\"\"\\\"u\\\"p\\\"v\\\"p\\\"w\\\"p\\\"w\\\"gh\\\"v\\\"g+\\\"v\\\"p\\\"w\\\"gt\\\"w\\\"p\\\"w\\\"g\\\"v\\\"gq\\\"o\\\"+\\\"w\\\"gq\\\"v\\\"gq\\\"u\\\"gq++\\\"u\\\"g+\\\"w\\\"gp\\\"\\\"pgx\"\"u\"p\"v\"p\"w\"p\"w\"gh\"v\"g+\"v\"p\"w\"gt\"w\"p\"w\"g\"v\"gq\"o\"+\"w\"gq\"v\"gq\"u\"gq++\"u\"g+\"w\"gp\"\"pgx" + +"input" g p +"\"\"o" "" p +"input" g g x |