Vampire First-Order Theorem Prover
Users following vprover
Claus Volko
adokhugi
Software engineer, former lead developer in computational physics, mainly working with C#, C++ and JavaScript.
Vienna, Austria, Europe
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
Alun Cennyth Stokes
aluncstokes
Dessins d'enfants, graph embeddings (metric kind), and various machines learnings. Most repos are private by necessity (for now). I study number theory.
Gift Horse Mouth Inspections Hamilton, Ontario