Lean Copilot: large language models as copilots for theorem proving in Lean. Cute couple romance GIF.

Gestalt law of similarity examples. K2r rust remover - bunnings.