argumentcomputerLSpec2.0.0

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

  1. functionally/Cryptouses8a51034

    Implementation of various cryptographic functions in Lean4

  2. argumentcomputer/ixuses1fc461a

    a zero-knowledge proof-carrying code platform for Lean 4

  3. leanprover/pantographusesdb76512

    (Mirror) A Machine-to-Machine Interaction System for Lean 4

  4. KislyjKisel/poduses24cceb6

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

  5. KislyjKisel/raylibuses24cceb6

    Raylib bindings for Lean4