graph2tac

Train and run models which predict tactics for Coq.


License
MIT
Install
pip install graph2tac==1.0.4