Lean Copilot: large language models as copilots for theorem proving in Lean. Django Docker VSCode.

Luton Airport map terminal 2. Cute couple romance GIF.