244 followers
AUTO2, a saturation-based heuristic prover for higher-order logic https://t.co/MAnaHVVgSq
AUTO2, a saturation-based heuristic prover for higher-order logic https://t.co/MAnaHVVgSq
#arXiv #cs_LO "AUTO2, a saturation-based heuristic prover for higher-order logic. (arXiv:1605.07577v1 [cs.LO])" https://t.co/PffTXsY8Wu