provablesspecial-numbers

Special Numbers (Chapter 6 from Knuth's Concrete Mathematics)
Displaying 1-1 of 1 versions of special-numbers
Sort by
  1. Not a part of any version track.
    b898f6f
    10 months ago
    Released on January 20, 2025 at 7:30:36PM
    Commit b898f6f builds on its old leanprover/lean4:v4.15.0
    v4.15.0
    630.2 KB Build archive size: 630168 bytes.