Skip to content

Proof of interchange_psum using esum - #2061

Open
lyonel2017 wants to merge 2 commits into
math-comp:masterfrom
lyonel2017:feature-interchange-psum
Open

Proof of interchange_psum using esum#2061
lyonel2017 wants to merge 2 commits into
math-comp:masterfrom
lyonel2017:feature-interchange-psum

Add proof for interchange_psum using esum

374a39c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-elpi
succeeded Aug 3, 2026 in 1m 48s