Analyzes failed proofs and proposes auxiliary lemmas.
/lemma-discovery-assistantArabelaTso/Skills-4-SE
/lemma-discovery-assistant