Increase recursion limit of g2t-server to 10000

IBM / graph2tac

Graph-based neural tactic prediction models for Coq.

Apache License 2.0

8 stars 4 forks source link

Closed LasseBlaauwbroek closed 1 year ago

LasseBlaauwbroek commented 1 year ago

Some Coq files are slightly too big for the default limit of 1000.