1a776mathmatic_in_elementary_number_th0.1.0

IMO题目的形式化2个题
#math
Displaying 1-1 of 1 versions of mathmatic_in_elementary_number_th
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    13 days ago
    Released on November 10, 2025 at 1:38:57PM
    Commit 5bd21e6 builds on its old leanprover/lean4:v4.24.0-rc1
    v4.24.0-rc1
    95.0 KB Build archive size: 94976 bytes.