Giters

algebraic-sofia / requests

🏃 | Simple HTTP Client for Lean4

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Requests

A simple HTTP Client

About

🏃 | Simple HTTP Client for Lean4

Languages

Language:Lean 100.0%