Title: Leveraging Lean with Lean Quoting