IBM / graph2tac

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

Remove debug code #119

Closed jasonrute closed 1 year ago

jasonrute commented 1 year ago

Accidentally left a tf.print in the code for debugging. This removes it.