mathlib
The math library of Lean 4
1-20 of 92 versions of mathlib
Sort by
Date
2a92f32v4.29.0-rc8698d2b6v4.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.277b4526v4.25.1v4.25.1d5c9558v4.26.0-rc2v4.26.0-rc26a54a80v4.26.0-rc1v4.26.0-rc11ccd71fv4.25.0v4.25.0766e19ev4.25.0-rc2v4.25.0-rc2