No results found

pod

Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)
Displaying 1-1 of 1 versions of pod
Sort by
  1. Not a part of any version track.
    adfbcd4
    7 days ago
    Released on February 9, 2025 at 12:04:45PM
    Commit adfbcd4 builds on its recent leanprover/lean4:v4.17.0-rc1
    v4.17.0-rc1
    1.4 MB Build archive size: 1386430 bytes.