User:Kouznetsov

Hello. I come here from TORI, which is actually http://tori.ils.uec.ac.jp/TORI and the formulas typing there is compatible with Proofwiki. The main goal of TORI is elaboration of self-consistent notations and concepts, satisfying pretty strict system of axioms. For this reason, almost no competition with other wikis is expected; but if some articles happen suitable for both, they may be copypasted from/to Proofwiki with minimal changes.

Perhaps, some pieces useful for Proofwiki may be in the following articles:

http://tori.ils.uec.ac.jp/TORI/index.php/Superfunction

http://tori.ils.uec.ac.jp/TORI/index.php/Factorial

http://tori.ils.uec.ac.jp/TORI/index.php/Logistic_sequence

http://tori.ils.uec.ac.jp/TORI/index.php/Logic

http://tori.ils.uec.ac.jp/TORI/index.php/Natural_number

My interests in Proofwiki are presented in the following articles:
Definition:Superfunction
Definition:Tetration
There are not many, but I try not to load faster than I learn the customs of this society.