mirror of
https://github.com/ProgramSnail/Lama.git
synced 2025-12-07 15:28:49 +00:00
7 lines
324 B
Text
7 lines
324 B
Text
|
Succ (Eq ("a", "a"))
|
||
|
|
Succ (Eq ("b", "b"))
|
||
|
|
Succ (Eq (Mul ("a", "a"), Mul ("a", "a")))
|
||
|
|
Succ (Eq (Mul ("b", "b"), Mul ("b", "b")))
|
||
|
|
Succ (Eq (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a"))), Sub (Mul ("a", "a"), "a")))
|
||
|
|
Succ (Eq (Add (Mul ("b", "b"), Sub (Div ("b", "b"), Mul ("b", "b"))), Sub (Mul ("b", "b"), "b")))
|