LSpecv2.0.0
A Testing Framework for Lean
1-4 of 4 packages depending on argumentcomputer/LSpec
Sort by
Package Name
functionally/Cryptouses
8a51034Implementation of various cryptographic functions in Lean4argumentcomputer/ixuses
24cceb6a zero-knowledge proof-carrying code platform for Lean 4KislyjKisel/poduses
24cceb6Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)KislyjKisel/raylibuses
24cceb6Raylib bindings for Lean4