KislyjKiselpod

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.
    ba89c82
    2 days ago
    Released on July 9, 2026 at 10:28:10PM
    Commit ba89c82 builds on its old leanprover/lean4-nightly:nightly-2026-06-29
    nightly-2026-06-29
    1.4 MB Build archive size: 1358888 bytes.