Lean_Formalizations_Free_Probability_To_Matrix_Discrepancy
Lean Formalizations of papers on "A Walk from Free Probability to Matrix Discrepancy"
- Stars
- 1
- Forks
- 0
- + today
- +1
- Created
- 11d
Ranking data as of October 7, 2026 (UTC).
Star History
Today, hour by hour
01
Overview
Lean Formalizations of papers on "A Walk from Free Probability to Matrix Discrepancy" It ranks #5833 on GitTiger, gaining +1 star on October 7, 2026 (UTC).
The project is written in Lean. It was created 11d ago.
Installation
git clone https://github.com/tarunkathuria/Lean_Formalizations_Free_Probability_To_Matrix_Discrepancy.git
cd Lean_Formalizations_Free_Probability_To_Matrix_Discrepancy
# see README for setup