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.
    1639990
    a month ago
    Released on August 21, 2026 at 9:34:34PM
    Commit 1639990 builds on its recent leanprover/lean4:v4.34.0-rc1
    v4.34.0-rc1
    1.4 MB Build archive size: 1362345 bytes.