provablesspecial-numbers0.2.0

Special Numbers (Chapter 6 from Knuth's Concrete Mathematics)
#math
Displaying 1-1 of 1 versions of special-numbers
Sort by
  1. 0.2Version track: 0.2
    0.2.0
    7 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.7 KB Build archive size: 630697 bytes.