Find how I proved something last time

Stream: general

[Robin Green]

Is there any better way to find where/how I proved something last time - assuming I didn't save it as its own theorem/lemma - than to just go down all my files line by line in VS Code until I see a proof goal that seems similar to what I'm facing now? I just mean to find the general technique, the details may be different.

[Geoffrey Irving]

It’s extremely unreliable, but GitHub Copilot will occasionally manage to do this.

[Geoffrey Irving]

It’s filled in similar proofs for me several times, though possibly that was only within file (I don’t remember).