Tactic Suggestion Assistant
Reads Isabelle or Coq proof states and suggests tactics to make progress.
/tactic-suggestion-assistantArabelaTso/Skills-4-SE
Reads Isabelle or Coq proof states and suggests tactics to make progress.
/tactic-suggestion-assistantArabelaTso/Skills-4-SE