mathlib
The math library of Lean 4
1-20 of 97 versions of mathlib
Sort by
Date
028964fv4.30.0-rc21.9 GB5450b53v4.30.0-rc2v4.30.0-rc21f9fffdv4.28.1v4.28.15e932f9v4.29.1v4.29.10c154d6v4.30.0-rc1v4.30.0-rc18a17838v4.29.0v4.29.0698d2b6v4.29.0-rc8v4.29.0-rc8c5edb8dv4.29.0-rc7v4.29.0-rc75c8398dv4.29.0-rc6v4.29.0-rc6891dd96v4.29.0-rc4v4.29.0-rc49b1001cv4.29.0-rc3v4.29.0-rc38f07524v4.29.0-rc2v4.29.0-rc233a7291v4.29.0-rc1v4.29.0-rc18f9d9cfv4.28.0v4.28.05352afcv4.28.0-rc1v4.28.0-rc1a3a10dbv4.27.0v4.27.032d2424v4.27.0-rc1v4.27.0-rc12df2f01v4.26.0v4.26.0ab09559v4.24.1v4.24.1c98ae54v4.25.2v4.25.2