HOL Theorem Proving System
John Siratt
jvsiratt
ABD, mathematical logic, Notre Dame
Pathways, formal methods, NASA Langley
My repos are old, hope to start new projects after dissertation is written.
AR, USA
Vishal Lama
vishallama
Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA
Chun Tian
binghe
Common Lisp programmer and HOL proof engineer
Australian National University Canberra, Australia
Jonathan D Moore
jonathanlyonmoore
46, UVa Alumni in Computer Science, ACM Vice President, Patent Licensee, Windows Internals Certified, MSFT SI & Gold Partner and INTJ-T. Former MSDN Blogger
Microsoft 365 Partner Johnson City, TN
Vasiliy Kharlov
w1jtoo
Software engineer at @skbkontur.
Ex-student of Ural Federal University.
@skbkontur Russia, Yekaterinburg
