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 15, 2025 at 4:28:52AM
    Commit c6c45ca builds on its recent leanprover/lean4:v4.15.0
    v4.15.0
    605.2 KB Build archive size: 605227 bytes.