Search results

replace our semiLattType by mathcomp join-semilattice

Status: Open.

#213 In affeldt-aist/infotheo;

· t6s opened on Mar 7, 2026

rm oprob

Status: Open.

#204 In affeldt-aist/infotheo;

· affeldt-aist opened on Jan 15, 2026

prob_le1 -> le1

Status: Open.

#202 In affeldt-aist/infotheo;

· affeldt-aist opened on Jan 15, 2026

convex.fdist_convn is a specialized duplication of fdist.fdistbind

Status: Open.

#199 In affeldt-aist/infotheo;

· t6s opened on Dec 4, 2025

generic lemma to be moved elsewhere

Status: Open.

#197 In affeldt-aist/infotheo;

· affeldt-aist opened on Nov 20, 2025

Missing connection between conditioned distributions and conditional expectation

Status: Open.

#194 In affeldt-aist/infotheo;

· hoheinzollern opened on Nov 13, 2025

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

Status: Open.

#193 In affeldt-aist/infotheo;

· hoheinzollern opened on Nov 13, 2025

separated infotheo and infotheo-stdlib

enhancement

Status: Open.

#140 In affeldt-aist/infotheo;

· affeldt-aist opened on Feb 18, 2025

·  

Infotheo 1.0.0

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

Status: Open.

#115 In affeldt-aist/infotheo;

· t6s opened on Mar 11, 2024

Notations for random variables conflict between infotheo and mathcomp-analysis

Status: Open.

#114 In affeldt-aist/infotheo;

· t6s opened on Mar 11, 2024

RV_ring

enhancement

Status: Open.

#109 In affeldt-aist/infotheo;

· hoheinzollern opened on Dec 5, 2023

·  

Infotheo 1.0.0

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

Status: Open.

#57 In affeldt-aist/infotheo;

· jorsn opened on May 15, 2021