☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
json-schema
Json Schema lean implementation
Displaying
1-1
of
1
versions of
json-schema
Sort by
Date
Not a part of any version track.
4586d99
a year ago
Released on April 12, 2024 at 5:55:23AM
Commit 4586d99 fails to build on leanprover/lean4:stable
stable
1
20
json-schemajson-schema