Skip to content

new series convergence criteria - #2035

Open
nmolinamounier wants to merge 2 commits into
math-comp:masterfrom
nmolinamounier:series_cvg_crit
Open

nmolinamounier wants to merge 2 commits into
math-comp:masterfrom
nmolinamounier:series_cvg_crit

new series convergence criteria

055752b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
rocq-core
succeeded Sep 25, 2026 in 4m 10s