4 lines
110 B
Plaintext
4 lines
110 B
Plaintext
|
Less than (and strong induction)
|
||
|
|
even/odd (written by Ivan)
|
||
|
|
divisibility, prime, hard (all written by Archie)
|