Peano arithmetic by tails

/*/y/S/s/
:
s/s\(0 . s*\)\|. s*/\1\U\1/
t

Note that non-ascii characters in the above source code will be escaped (such as \x9f).

To protect the system from spam, please input your favorite sport (hint: I believe its name must start with 'g', case insensitive)

download

return to the top page