Search results

rm oprob

Status: Open.

#204 In affeldt-aist/infotheo;

· affeldt-aist opened on Jan 15, 2026

rm ``<code> </code>1- ```

Status: Open.

#203 In affeldt-aist/infotheo;

· affeldt-aist opened on Jan 15, 2026

<code>prob_le1</code> -&gt; <code>le1</code>

Status: Open.

#202 In affeldt-aist/infotheo;

· affeldt-aist opened on Jan 15, 2026

<code>convex.fdist_convn</code> is a specialized duplication of <code>fdist.fdistbind</code>

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

<code>probability</code> section in <code>robustmean.v</code> should move to <code>proba.v</code>

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

compilation with latest available packages

bug

Status: Open.

#130 In affeldt-aist/infotheo;

· affeldt-aist opened on Oct 12, 2024

·  

Infotheo 1.0.0

Reserved Notation `<code>_ </code>^ _`` 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