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.