No results found

LSpecv2.0.0

A Testing Framework for Lean
Displaying 1-3 of 3 packages depending on argumentcomputer/LSpec
Sort by

  1. functionally/Cryptouses8a51034

    Implementation of various cryptographic functions in Lean4

  2. KislyjKisel/poduses24cceb6

    Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)

  3. KislyjKisel/raylibuses24cceb6

    Raylib bindings for Lean4