Skip to content

Discrete and continuous abel transforms#1934

Open
Tragicus wants to merge 1 commit into
math-comp:masterfrom
Tragicus:abel
Open

Discrete and continuous abel transforms#1934
Tragicus wants to merge 1 commit into
math-comp:masterfrom
Tragicus:abel

discrete and continuous abel transforms

1e7573f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-elpi
succeeded Apr 27, 2026 in 3m 16s