Skip to content

Strengthen arithmetic specifications and prove arithmetic corollaries - #3746

Open
joshlf wants to merge 1 commit into
Gmasez6fvx2c6chogoybuzpgyoykiaupcfrom
Gxi6wprpgshggdrhvt64jphmjwhociog5
Open

Strengthen arithmetic specifications and prove arithmetic corollaries#3746
joshlf wants to merge 1 commit into
Gmasez6fvx2c6chogoybuzpgyoykiaupcfrom
Gxi6wprpgshggdrhvt64jphmjwhociog5

Commits

  1. Commits on Oct 13, 2026