最近の話題から

HOList with HOL Light
https://sites.google.com/view/holist/home

TacticToe with HOL4
https://www.thibaultgauthier.fr/tactictoe.html

さらに
http://aitp-conference.org/2019/
http://arg.ciirc.cvut.cz/teaching/mlr19/index.html
http://ai4reason.org/demos.html

CoqGym with Coq
https://github.com/princeton-vl/CoqGym

MetaGen with MetaMath
https://openreview.net/pdf?id=BJxiqxSYPB

PVS は．．．
https://github.com/nasa/vscode-pvs