Commit 2025-06-20 12:48 ef1e003f

View on Github →

feat: integral of log ∘ sin (#26172) Compute special values of the integral of log ∘ sin. Given that the indefinite integral involves the dilogarithm, this can be seen as computing special values of Li₂. This material is used in Project VD, which aims to formalize Value Distribution Theory for meromorphic functions on the complex plane.

Estimated changes