nasqretfineqs

Lean4 formalization with Artistotle of the arXiv paper 1906.11174
Displaying 1-3 of 3 versions of fineqs
Sort by
  1. Not a part of any version track.
    c177541
    18 hours ago
    Released on December 24, 2025 at 1:10:42AM
    Commit c177541 builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    1.3 MB Build archive size: 1303654 bytes.
  2. Not a part of any version track.
    f73e52f
    v4.25.1
    3 days ago
    Released on December 22, 2025 at 1:01:40AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.25.1
  3. Not a part of any version track.
    465aa05
    v4.24.0
    3 days ago
    Released on December 22, 2025 at 12:54:12AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0