Back to directory
Viktor Karpov
@vitkarpov
Fond of designing a program and providing convincing evidence that the program computes its function correctly.
UK
View GitHub profile
274 followers
·
3 following
Contributed to 1 repository
1 commits across the projects listed in this directory.
