GitHub repository: FlorianSteinberg/incone
Primary language: Coq
Description: incone: information theoretical continuity.