Issues

• use notation in convex_function_in?

  affeldt-aist/infotheo#226 · Filter by author affeldt-aist opened on Jun 5, 2026
  1

• bug in {concave _ -> _}?

  affeldt-aist/infotheo#222 · Filter by author t6s opened on May 28, 2026
  1

• instantiate quasi real cones as left semimodules

  affeldt-aist/infotheo#221 · Filter by author t6s opened on May 10, 2026
  1

• replace our semiLattType by mathcomp join-semilattice

  affeldt-aist/infotheo#213 · Filter by author t6s opened on Mar 7, 2026

• rm oprob

  affeldt-aist/infotheo#204 · Filter by author affeldt-aist opened on Jan 15, 2026

• prob_le1 -> le1

  affeldt-aist/infotheo#202 · Filter by author affeldt-aist opened on Jan 15, 2026

• convex.fdist_convn is a specialized duplication of fdist.fdistbind

  affeldt-aist/infotheo#199 · Filter by author t6s opened on Dec 4, 2025

• generic lemma to be moved elsewhere

  affeldt-aist/infotheo#197 · Filter by author affeldt-aist opened on Nov 20, 2025
  2

• Missing connection between conditioned distributions and conditional expectation

  affeldt-aist/infotheo#194 · Filter by author hoheinzollern opened on Nov 13, 2025

• probability section in robustmean.v should move to proba.v

  affeldt-aist/infotheo#193 · Filter by author hoheinzollern opened on Nov 13, 2025

• separated infotheo and infotheo-stdlib

  enhancement
  affeldt-aist/infotheo#140 · Filter by author affeldt-aist opened on Feb 18, 2025 · Infotheo 1.0.0

• Reserved Notation `_ ^ _`` has incompatible levels between fdist (infotheo) and sequences (mathcomp-analysis)

  affeldt-aist/infotheo#115 · Filter by author t6s opened on Mar 11, 2024

• Notations for random variables conflict between infotheo and mathcomp-analysis

  affeldt-aist/infotheo#114 · Filter by author t6s opened on Mar 11, 2024
  1

• RV_ring

  enhancement
  affeldt-aist/infotheo#109 · Filter by author hoheinzollern opened on Dec 5, 2023 · Infotheo 1.0.0

• I nixified this: https://github.com/jorsn/infotheo/tree/nixify

  affeldt-aist/infotheo#57 · Filter by author jorsn opened on May 15, 2021
  1

• prob interface

  affeldt-aist/infotheo#51 · Filter by author affeldt-aist opened on Feb 27, 2021
  2