Search Results - RepositoryStats

10

105

unknown

2

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

event random theorem theorems variable variables estimation parameters probablity statistics distribution combinatorics probability-statistics

Created 2021-05-04

5 commits to main branch, last one 3 years ago

coq-100-theorems rocq-community

14

59

other

3

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

coq theorems

Created 2015-09-18

144 commits to master branch, last one about a year ago

typst-theorion OrangeX4

5

58

mit

1

Out-of-the-box, customizable and multilingual theorem environment package for Typst.

typst package theorem theorems colorful-box typst-package

Created 2025-02-23

53 commits to main branch, last one 16 days ago

MO-Problem-Journal AnglyPascal

5

50

mit

3

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

math lemmas journal olympiad theorems mathematical-olympiads

Created 2020-07-02

64 commits to master branch, last one 4 years ago

frame-it marc-thieme

2

42

mit

2

Beautiful, flexible, and integrated. Display custom frames for theorems, environments, and more. Attractive visuals with syntax that blends seamlessly into the source.

html style typst layout theorems

Created 2024-11-13

293 commits to main branch, last one 3 days ago