juhpcurljson0.0.2

curljson: a small Lean4 library to fetch JSON with libCurl
Displaying 1-3 of 3 versions of curljson
Sort by
  1. 0.0Version track: 0.0
    0.0.2
    v0.0.2
    15 hours ago
    Released on March 29, 2026 at 10:54:04AM
    Commit 1096633 builds on its recent leanprover/lean4:v4.29.0
    v4.29.0
    36.5 KB Build archive size: 36516 bytes.
  2. 0.0Version track: 0.0
    0.0.2
    v0.0.2
    15 hours ago
    Released on March 29, 2026 at 10:54:04AM
    Commit 1096633 builds on its recent leanprover/lean4:v4.29.0
    v4.29.0
    36.5 KB Build archive size: 36516 bytes.
  3. 0.0Version track: 0.0
    0.0.1
    v0.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.