theorem topic
List
theorem repositories
Probability-And-Statistics
106
Stars
10
Forks
Watchers
Random vectors: marginal and conditional distributions. Normal, t-distribution, Chi-square and F-distribution... AND A LOT MORE.
LeanDojoChatGPT
112
Stars
13
Forks
Watchers
ChatGPT plugin for theorem proving in Lean