2 Commits

Author	SHA1	Message	Date
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