Jrute/prep for calc tactic embeddings - Githubissues

IBM / graph2tac

Graph-based neural tactic prediction models for Coq.

Apache License 2.0

10 stars 5 forks source link

Jrute/prep for calc tactic embeddings #163

Open jasonrute opened 3 months ago