Vampire & VaLeaDate successfully participated in the CASC competition at FLoC2026
Thursday, Jul 30, 2026We're proud to announce that the Vampire theorem prover, partially developed at FORSYTE, and the VaLeaDate proof checker, developed at FORSYTE, have been successfully participating the international CADE ATP System Competition at FLoC2026 in Lisbon, Portugal. The Vampire theorem prover won every theorem proving category, while VaLeaDate won the Most Valuable Benchmark Contributor award. Read more here.