lleutch
Fahd abdeljallal
- static verification/formal proofs/type theory learner/lover/newbie
- that’s pretty much it!!😂
France
Browse others (14)
![]() |
nitom Antonio Moreno |
![]() |
sixftred Nichol |
![]() |
jcg22cabeza Julian Gonzalez |
![]() |
sshinn Scott Shinn |
![]() |
carlnpaf Carl Nystedt |
![]() |
lucasgodshalk Lucas Godshalk |
![]() |
judereid Jude Reid |
![]() |
tianhua Hua Tian |
![]() |
mecojoatumay Luis D. Marcano |