FeorgeGeorge
ITMO Computer Technologies student, interested in mathematics and coding.
Saint Petersburg, Russia
Pinned Repositories
ANTLR-Example
arend-lib
Asymptote-Examples
Примеры кода и картинки, сделанные с помощью Asymptote
category-logic-2023
coq-supplementary
A supplementary Coq workout repository
HoTT-Tasks
latex-styles
LaTeX styles for different purposes.
logic2022
Небольшие изменения
NetworkTopology
Notes
Конспекты КТ ИТМО 36 y2020
FeorgeGeorge's Repositories
FeorgeGeorge/ANTLR-Example
FeorgeGeorge/arend-lib
FeorgeGeorge/Asymptote-Examples
Примеры кода и картинки, сделанные с помощью Asymptote
FeorgeGeorge/category-logic-2023
FeorgeGeorge/coq-supplementary
A supplementary Coq workout repository
FeorgeGeorge/HoTT-Tasks
FeorgeGeorge/latex-styles
LaTeX styles for different purposes.
FeorgeGeorge/logic2022
Небольшие изменения
FeorgeGeorge/NetworkTopology
FeorgeGeorge/Notes
Конспекты КТ ИТМО 36 y2020
FeorgeGeorge/Primitive-LL-1-parser-generator
FeorgeGeorge/Semester-4
FeorgeGeorge/TicTacToe
FeorgeGeorge/SheavesAndLogic
FeorgeGeorge/Square-Roots-Of-Primes-Are-Irrational
Proof of irrationality of square root of two and of primes in general done in Arend