Reverse Dependencies of pytactician

The following projects have a declared dependency on pytactician:

• graph2tac — Train and run models which predict tactics for Coq.
• text2tac — text2tac converts text to actions