clt
Central limit theorem in Lean
of 12 dependencies of clt
1-12Sort by
Require Order
batteries
6d5e1c8
The "batteries included" extended library for the Lean programming language and theorem proverQq
v4.12.0-rc1
Intuitive, type-safe expression quotations for Lean 4.aesop
a895713
White-box automation for Lean 4proofwidgets
v0.0.42
Helper toolkit for creating your own Lean 4 UserWidgets- Cli
2cf1030
importGraph
fb7841a
Tool to analyse the import structure of lean projects.- LeanSearchClient
2ba60fa
- mathlib
f7eb186
- MD4Lean
5e95f47
- UnicodeBasic
7afce91
- BibtexQuery
0a294fe
- doc-gen4
1b0072f