lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard
verified publisher icon leanprover

feat: adds a simple `Http` library to `Std`

Open algebraic-dev opened this issue 5 months ago • 13 comments

This PR adds a simple Http library to Std.

algebraic-dev avatar Sep 20 '25 18:09 algebraic-dev