LSpec
A Testing Framework for Lean
of 3 packages depending on argumentcomputer/LSpec
1-3Sort by
Package Name
functionally/Cryptouses
8a51034
Implementation of various cryptographic functions in Lean4KislyjKisel/poduses
b7d4dc6
Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)KislyjKisel/raylibuses
b7d4dc6
Raylib bindings for Lean4