This is a port of Vampire 10 to macOS on Apple Silicon (arm64). Vampire is an automatic theorem prover for first-order logic, originally developed by Alexandre Riazanov and Andrei Voronkov. This ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results