Ilja Zakharov's repositories
PhD-Thesis
Contains source files of my dissertation in russian.
MIPTMachineLearning
Repo with course exercises
Language:Jupyter Notebook000
TLAexample
Proof of the refeinement from my PhD implemented.
Language:TLAGPL-3.0000