Yury Kudryashov

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Relative Entropy

Kullback Leibler

Top Venues

Publications

Yury Kudryashov
Formalizing the Divergence Theorem and the Cauchy Integral Formula in Lean. ITP (2022)