theorems topic

Random vectors: marginal and conditional distributions. Normal, t-distribution, Chi-square and F-distribution... AND A LOT MORE.

gabrieldim

A journal of theorems, lemmas and problems for Mathematical Olympiads.

AnglyPascal

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

coq-community

Statement - theorems and statement support in Pandoc's markdown

dialoa