IBM / graph2tac

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

Support python3.8 through 3.10 #151

Closed jasonrute closed 11 months ago

jasonrute commented 11 months ago

This removes some uses of 3.9 and 3.10 features to support python 3.8. Supporting Python 3.11 would require messing with the versions of tensorflow and/or tensorflow_gnn, so I put it off.

The tests still pass. (Well except for the hmodel test that has been broken for a long time. 😄 I should fix that soon.)