IBM / graph2tac

Graph-based neural tactic prediction models for Coq.
Apache License 2.0
8 stars 4 forks source link

Mirek/add split #121

Closed mirefek closed 1 year ago

mirefek commented 1 year ago

Only adding the code / splits so that we don't have to search for it in Slack's history. The code is just how I was running it, so it would need more tweaks if we want to make it an actual (command line) tool. Would you like me to do it?