VArtem

Pinned Repositories

breakdown-graphs
Language:Java00
haskell-course-ru
Language:Haskell00
lean-catalan
Experiments with Catalan numbers and trees in Lean
Language:Lean00
lean-itmo
Language:Lean11 5 00
lean-matroids
Formalization of matroid theory in Lean 3
Language:Lean01
lean-misc-problems
Formalizing various mathematical problems (and their solutions) in Lean
Language:Lean00
lean-regular-languages
Formalization of regular languages theory in Lean
Language:Lean60
ml-2013
NRU ITMO CTDDEV Machine Learning course - Fall 2013
Language:Python00
random-graph-sim
Language:Java00

VArtem's Repositories

VArtem/lean-itmo
Language:Lean11 5 00
VArtem/lean-regular-languages
Formalization of regular languages theory in Lean
Language:Lean60
VArtem/breakdown-graphs
Language:Java00
VArtem/haskell-course-ru
Language:Haskell00
VArtem/lean-catalan
Experiments with Catalan numbers and trees in Lean
Language:Lean00
VArtem/lean-matroids
Formalization of matroid theory in Lean 3
Language:Lean01
VArtem/lean-misc-problems
Formalizing various mathematical problems (and their solutions) in Lean
Language:Lean00
VArtem/ml-2013
NRU ITMO CTDDEV Machine Learning course - Fall 2013
Language:Python00
VArtem/random-graph-sim
Language:Java00
VArtem/vartem.github.io