Popular repositories Loading

1. proofs proofs Public

   The list of theorems of set theory, some of which accompanied by proofs written by myself using LaTeX.

   TeX 1

2. cMath cMath Public

   Formalization of set theory concepts in C programming language.

   TeX 1

3. math_theorems math_theorems Public

   List of mathematical theorems, mainly from Set Theory.

   TeX 1

4. mathtest mathtest Public

   HTML

5. getPATH getPATH Public

   Batchfile

6. Scripting-Land Scripting-Land Public

   HTML