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.
    6552d3c
    8 days ago
    Released on April 27, 2025 at 6:51:23PM
    Commit 6552d3c builds on its old leanprover/lean4-nightly:nightly-2025-04-27
    nightly-2025-04-27
    1.7 MB Build archive size: 1709311 bytes.