← Operations

Tactic Suggestion Assistant

Reads Isabelle or Coq proof states and suggests tactics to make progress.

/tactic-suggestion-assistantArabelaTso/Skills-4-SE