Fix pyproject.toml - Githubissues

IBM / graph2tac

Graph-based neural tactic prediction models for Coq.

Apache License 2.0

8 stars 4 forks source link

Fix pyproject.toml #160

Closed jasonrute closed 9 months ago