search

IBM / graph2tac

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

Fix README #156

Closed jasonrute closed 11 months ago