Http definitions for Lean

Intended to be a base package for handling HTTP traffic. Modeled after the rust http package.


Add the following to your project's lakefile.lean:

require Http from git "" @ "main"

When running lake update, there will be some warnings because one of the dependencies is not up to date. This should be fixed soon.


If you would like to contribute, please open a PR! Make sure to add yourself to the authors list below, in case we ever need to contact the copyright holders.



Originally forked from lurk-lab/Http.lean. Although all of the source material has been rewritten, the authors of that library at the time of the fork included:

Anderssorby arthurpaolino xubaiw