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.
    7bd66ec
    16 days ago
    Released on July 14, 2026 at 1:29:00PM
    Commit 7bd66ec builds on its old leanprover/lean4-nightly:nightly-2026-06-29
    nightly-2026-06-29
    1.4 MB Build archive size: 1362165 bytes.