theorem topic

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

gabrieldim

ChatGPT plugin for theorem proving in Lean

lean-dojo

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

OrangeX4