siddhartha-gadgil / ProvingGround

Proving Ground: Tools for Automated Mathematics
http://siddhartha-gadgil.github.io/ProvingGround/
MIT License
203 stars 38 forks source link

Allow flattening in Kullback-Liebler distance #288

Closed siddhartha-gadgil closed 4 years ago

siddhartha-gadgil commented 4 years ago