The Vampire Theorem Prover #1 Post by modinfo » Sat, Aug 08, 2026, 8:23 AM UTC The Vampire Theorem Provergithub.com