Reverse Dependencies of tensorflow-gnn

The following projects have a declared dependency on tensorflow-gnn:

• graph2tac — Train and run models which predict tactics for Coq.