Pinned Repositories
breakdown-graphs
haskell-course-ru
lean-catalan
Experiments with Catalan numbers and trees in Lean
lean-itmo
lean-matroids
Formalization of matroid theory in Lean 3
lean-misc-problems
Formalizing various mathematical problems (and their solutions) in Lean
lean-regular-languages
Formalization of regular languages theory in Lean
ml-2013
NRU ITMO CTDDEV Machine Learning course - Fall 2013
random-graph-sim
VArtem's Repositories
VArtem/lean-itmo
VArtem/lean-regular-languages
Formalization of regular languages theory in Lean
VArtem/breakdown-graphs
VArtem/haskell-course-ru
VArtem/lean-catalan
Experiments with Catalan numbers and trees in Lean
VArtem/lean-matroids
Formalization of matroid theory in Lean 3
VArtem/lean-misc-problems
Formalizing various mathematical problems (and their solutions) in Lean
VArtem/ml-2013
NRU ITMO CTDDEV Machine Learning course - Fall 2013
VArtem/random-graph-sim
VArtem/vartem.github.io