Block or Report
Block or report VArtem
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
star-battle Public
Implementation of Star Battle puzzle in Lean 3
-
lean-misc-problems Public
Formalizing various mathematical problems (and their solutions) in Lean
Lean UpdatedMay 1, 2022 -
-
-
lean-regular-languages Public
Formalization of regular languages theory in Lean
-
-
-
-
-
ml-2013 Public
Forked from anton-bannykh/ml-2013NRU ITMO CTDDEV Machine Learning course - Fall 2013
Python UpdatedDec 25, 2013 -