Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/wellecks/lean4_information_theory

Last synced: 17 days ago
JSON representation

Host: GitHub
URL: https://github.com/wellecks/lean4_information_theory
Owner: wellecks
Created: 2023-10-11T17:01:01.000Z (about 1 year ago)
Default Branch: master
Last Pushed: 2023-10-22T19:22:19.000Z (about 1 year ago)
Last Synced: 2024-10-29T20:13:08.306Z (2 months ago)
Language: Lean
Size: 3.91 KB
Stars: 1
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        Information theory basics from Chapter 2 of

   "Elements of Information Theory" by Thomas M. Cover & Joy A. Thomas.

Current main results:

- Information inequality (`information_inequality`)

Current main definitions:

- Probability mass function (`pmf`)

- Entropy (`entropy`), KL-divergence (`kld`)