GitHub repository: math-comp/newtonsums
Primary language: Coq
Description: Newton series transformation