Zulip Chat Archive

Stream: Is there code for X?

Topic: Library like Python's requests?

Soonho Kong (Mar 26 2024 at 16:41):

Hi, is there a Lean4 library making HTTP requests to web servers and APIs?

Henrik Böving (Mar 26 2024 at 21:24):

Not yet no.

Anton Parkhomenko (Mar 27 2024 at 17:13):

Very WIP https://github.com/axiomed/Http.lean

Soonho Kong (Mar 27 2024 at 17:14):

Nice!

Anton Parkhomenko (Mar 27 2024 at 17:17):

As well as https://github.com/JamesGallicchio/Http

Last updated: May 02 2025 at 03:31 UTC