leanprovercslib0.1.0

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

  1. atlas-computing-org/bignumusesb91aeb4

    port of s2n-bignum to Lean

  2. Beneficial-AI-Foundation/FloatSpecusesd6a1e29

    Formally Verified Float Implementation with lean4