4 Commits

Author	SHA1	Message	Date
saundersp	d892dfa5d7	Updated sci-mathematics/lean to 4.25.2	2025-11-25 17:08:31 +01:00
saundersp	37c59d3dfa	Updated sci-mathematics/lean to 4.25.1	2025-11-18 12:45:56 +01:00
saundersp	0b1afab966	Updated sci-mathematics/lean to 4.25.0	2025-11-15 18:12:45 +01:00
saundersp	b038a4290c	Added sci-mathematics/lean-4.25.0_rc2	2025-10-31 20:12:00 +01:00