theoriclabs/leanhttp — LeanHTTP: HTTP Client for Lean 4 may be useful when its README and activity match a concrete workflow

Описание и применение

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

Задача

LeanHTTP: HTTP Client for Lean 4 may be useful when its README and activity match a concrete workflow.

Результат

Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.

Доказательства

Discovered from Hacker News (github-mentions)

Источник