juhpcurljson0.0.1

curljson: a small Lean4 library to fetch JSON with libCurl
Displaying 1-1 of 1 versions of curljson
Sort by
  1. 0.0Version track: 0.0
    0.0.1
    a year ago
    Released on November 23, 2024 at 10:35:31AM
    Commit 692c5c4 builds on its old leanprover/lean4:v4.13.0
    v4.13.0
    40.5 KB Build archive size: 40486 bytes.