bjoernkjoshansseninterest

Interest: a Lean library for financial mathematics
Displaying 1-1 of 1 versions of interest
Sort by
  1. Not a part of any version track.
    66c1078
    2 months ago
    Released on January 21, 2026 at 10:00:44PM
    Commit 66c1078 builds on its old leanprover/lean4:v4.27.0-rc1
    v4.27.0-rc1
    4.1 MB Build archive size: 4094513 bytes.