For mechanical theorem proving there is ACL2 which integrates machine learning into the system. See http://arxiv.org/abs/1404.3034 http://arxiv.org/abs/1404.303

For mechanical theorem proving there is ACL2 which integrates machine learning into the system. See http://arxiv.org/abs/1404.3034 http://arxiv.org/abs/1404.3034 also Coq has machine learning add ons http://arxiv.org/abs/1410.5467 http://arxiv.org/abs/1410.5467