vampire-prover

Here are 2 public repositories matching this topic...

taggarttufte / algebra-hunt

Two-week certificate-first campaign: an LLM orchestrating ATPs, SAT, and GAP against open problems in quasigroup, loop, and semigroup theory — closed two open orders of a 1998 conjecture; the trust protocol is the point

mathematics semigroup sat-solver formal-verification computational-algebra open-problems quasigroup automated-theorem-proving loop-theory vampire-prover

Updated Aug 22, 2026
Python

kernelpanic888 / TMI-Lean-Formal-Library

Star

Lean 4 formal library for interface-event theory, OLean boundary checking, claim passports, and TLFL proof-state self-modeling with Z3/Vampire/E mirrors.

theorem-proving proof-assistant lean z3 formal-methods tmi e-prover lean4 interface-theory vampire-prover formal-library

Updated Aug 24, 2026
HTML

Improve this page

Add a description, image, and links to the vampire-prover topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the vampire-prover topic, visit your repo's landing page and select "manage topics."

Learn more