Formalization of Information Theory

See this page for information about the infotheo library.