No results found

LSpec

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/podusesb7d4dc6

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

  3. KislyjKisel/raylibusesb7d4dc6

    Raylib bindings for Lean4