Back to directory
Evgenii Kotelnikov - Open Source Developer
@aztek
I write programs, prove theorems, and write programs that prove theorems
70 followers
·
32 following
Contributed to 2 repositories
236 commits across the projects listed in this directory.
