Kadanstsev Georgii's repositories
Language:JavaApache-2.0000
Asymptote-Examples
Примеры кода и картинки, сделанные с помощью Asymptote
Language:TeX000
coq-supplementary
A supplementary Coq workout repository
Language:Coq000
latex-styles
LaTeX styles for different purposes.
Language:TeXCC0-1.0000
logic2022
Небольшие изменения
Language:TeX000
Notes
Конспекты КТ ИТМО 36 y2020
Language:TeX000
Square-Roots-Of-Primes-Are-Irrational
Proof of irrationality of square root of two and of primes in general done in Arend