GitHub repository: IBM/graph2tac
Primary language: Jupyter Notebook
Description: Graph-based neural tactic prediction models for Coq.