Geeks
VArtem
/
lean-itmo
Primary Language
Lean
lean-itmo GitHub
Markdown
Readme
0
Issues
11
Stargazers
5
Watchers
Stargazers
advancedAlpaka
Arkadium
cannor147
ITMO University
egormkn
Yandex
foryourselfand
Russia, St. Petersburg
GoPavel
Serokell
Jovvik
ETH Zürich
mikhail-dvorkin
Lyceum PTHS
redbeardster
Shashulovskiy
sibkron
zlonast