Reservoir
No results found
All Packages
json-schema
Json Schema lean implementation
Readme
Versions (1)
Displaying
1-1
of
1
versions of
json-schema
Sort by
Date
Not a part of any version track.
4586d99
6 months ago
Released on April 12, 2024 at 5:55:23AM
Commit 4586d99 builds on its old leanprover/lean4:stable
stable
28.1 MB
Build archive size: 28057592 bytes.
1
20