IsarStep (Eval Task)
Closed this issue · 1 comments
haileyschoelkopf commented
IsarStep (Eval Task)
zhangir-azerbayev commented
Don't think this is needed, given we can do Isabelle next-tactic prediction, and possibly Lean next-tactic prediction.
Closed this issue · 1 comments
Don't think this is needed, given we can do Isabelle next-tactic prediction, and possibly Lean next-tactic prediction.