issues
search
vprover
/
vampire
The Vampire Theorem Prover
https://vprover.github.io/
Other
292
stars
51
forks
source link
Skip superpositions lightweight
#570
Closed
quickbeam123
closed
4 months ago