LeanHTTP: HTTP Client for Lean 4 | Hacker News - But Better

LeanHTTP: HTTP Client for Lean 4 github.com

A synchronous HTTP client for Lean 4 backed by libcurl - theoriclabs/leanhttp

2 points•hargup•9 days ago•0 comments•

#client #lean #http #leanhttp #http client #synchronous #backed #libcurl

0 comments

No comments yet.

Related stories

I built a platform for deploying HTTP microservices in seconds using Github Gists. Feedback?hook.io
Lobsters · 1 points · almost 12 years ago
Lean Golf – Code golf but you're proving theorems in Leanlean.golf
Hacker News · 1 points · 5 days ago
Lint-HTTP 0.1.0 – Easy to use, complete HTTP traffic lintercrates.io
Hacker News · 1 points · 10 days ago
Show HN: Hack – my Hacker News mobile client now lets you block AI posts
Hacker News · 9 points · 8 days ago
Complete Production Webapp in Leangithub.com
Hacker News · 1 points · 10 days ago
Show HN: Open-source Express-like HTTP server in C++amsozzer.com
Hacker News · 1 points · 8 days ago