A WIP implementation of HTTP protocol in Lean 4.

The goal of this project is to provide Lean community an HTTP Client and Server implementations as well as working and sensible set of HTTP primitives.

The broader goal of Axiomed initiative is to build an ecosystem of tools in Lean 4 that software engineers need in their everyday tasks, such as HTTP libs, async frameworks, DB connectors, parsers etc.

If you think Lean 4 can shine not only as a theorem prover, but as a general purpose language - you're welcome to join the organization!

Add Http to your lakefile.lean:

require Http from git "https://github.com/axiomed/Http.lean.git"

This library is based on work @algebraic-sofia has done for her