No results found

safeIdx

Type-safe indexing library.
Displaying 1-1 of 1 versions of safeIdx
Sort by
  1. Not a part of any version track.
    f38c3f7
    4 hours ago
    Released on December 21, 2024 at 1:36:35PM
    Commit f38c3f7 builds on its recent leanprover/lean4:v4.14.0
    v4.14.0
    30.1 MB Build archive size: 30122457 bytes.