No results found

special-numbersv0.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
    2 days ago
    Released on January 19, 2025 at 1:56:30AM
    Commit 7162921 builds on its recent leanprover/lean4:v4.15.0
    v4.15.0
    625.2 KB Build archive size: 625184 bytes.