Search results

Independence -- Lean issues

Status: Open.

#43 In formalproofs/probability;

· EmilyARussell opened on Dec 3, 2025

Non-Degeneracy Property

Status: Open.

#40 In formalproofs/probability;

· ebunle opened on Dec 2, 2025

Update LaTeX documentation of Probabilities to reflect Lean

Status: Open.

#38 In formalproofs/probability;

· marekpetrik opened on Nov 27, 2025

VaR definition: inf (reals) or min support? --opinions needed

enhancementNew feature or requestNew feature or request

Status: Open.

#37 In formalproofs/probability;

· emily-chandran opened on Nov 26, 2025

Integrate the code from the branch histories

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In formalproofs/probability;

· marekpetrik opened on Oct 28, 2025