The Vampire theorem prover makes history at CASC competition
Wednesday, Jul 30, 2025The Vampire theorem prover, developed by several current and former members of the FORSYTE group, has made history at the CASC (CADE ATP System Competition) by winning all eight divisions in the contest. Click here to read more about the historic victory.