search

IBM / graph2tac

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

Mirek/reindex2 #127

Closed mirefek closed 1 year ago

mirefek commented 1 year ago

Indexing global context from 0 instead of 26 -- a step towards getting rid of the static global context