Skip to content

README.md

Latest commit

 

History

History
5 lines (3 loc) · 100 Bytes

README.md

File metadata and controls

5 lines (3 loc) · 100 Bytes
Raw

requests

Description

A requests library for Lean 4, inspired by the Python requests library.