LeanHTTP: HTTP Client for Lean 4

LeanHTTP — HTTP‑клиент для Lean 4, позволяющий быстро интегрировать внешние веб‑сервисы в проекты на Lean. Для начала используйте пример из README, подключив за