HOL Theorem Proving System
Users following HOL-Theorem-Prover
Matéo H. Petel
fraware
Curiosity.
________________________________________________________________________________________
Stanford | NASA JPL | Oxford | ENS
Stanford
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.
Lafayette, Indiana
Giulio Caflisch
giuliocaflisch
Mathematics student from Italy (Sicily) and Switzerland (Grisons).
Adult fan of Lego®.
Italy
Bisma Joyosumarto
BismaBRJ
A regular student who occasionally goes on GitHub to publish his code for everyone else to see.
South Jakarta, Jakarta, Indonesia
John Siratt
jvsiratt
Logician working in formal methods. This is my personal account with non-work stuff.
AR, USA
Vishal Lama
vishallama
Software Engineer (Scala/Python/R), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA
Jonathan David Moore
jonathanpepinmoore
UVa Alumni in Computer Science, Royal Society of the Arts Fellow for going #1 in Ireland in Ambient. Lifetime Windows Internals Certified. ACT Science 62
Retired Microsoft Gold Partner Johnson City, TN
Vasiliy Kharlov
w1jtoo
Software engineer at @skbkontur.
Ex-student of Ural Federal University.
@skbkontur Russia, Yekaterinburg
