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