argumentcomputerLSpec2.0.0

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

  1. functionally/Cryptouses8a51034

    Implementation of various cryptographic functions in Lean4

  2. argumentcomputer/ixusesfdf848d

    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

  6. Verilean/sparkleuses1e6da63

    A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.