leanprovercslib0.1.0

The Lean Computer Science Library (CSLib)
Displaying 1-3 of 3 packages depending on leanprover/cslib
Sort by

  1. atlas-computing-org/bignumusesb91aeb4

    port of s2n-bignum to Lean

  2. Shreyas4991/DGAlgorithmsusesv4.28.0

    Distributed Graph Algorithms in Lean

  3. Beneficial-AI-Foundation/FloatSpecusesd6a1e29

    Formally Verified Float Implementation with lean4