Experiment at formalizing some information theory in Lean 3
notes:
- src/classical contains 'classical' or 'traditional' information theory starting from Shannon entropy based on Cover and Thomas' Elements Of Information Theory, second edition
- src/categorical would be an experiment to implement categorical information theory based on the work at https://math.ucr.edu/home/baez/entropy/
- port to lean 4