juhpcurljson0.0.1

curljson: a small Lean4 library to fetch JSON with libCurl
Sort by
  1. Registry dependency.
    Found on Reservoir.

    Curlv4.11.0

    Lean 4 bindings to libcurl