leanprovercslib0.1.0

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

  1. Beneficial-AI-Foundation/FloatSpecusesd6a1e29

    Formally Verified Float Implementation with lean4