compfiles icon indicating copy to clipboard operation
compfiles copied to clipboard

verified publisher icon dwrensha
→

Metadata

Catalog Of Math Problems Formalized In Lean

Results 2 compfiles issues
Sort by recently updated
recently updated
newest added

Create the problem statement for IMO 2025 #4

3 comment

Using https://www.youtube.com/watch?v=Kb4h_GVFT1k

a2435191 avatar a2435191

CJMO 2024 P1

Add CJMO 2024 P1 (incomplete solution)

ldct avatar ldct

← Metadata

50
Stars
8
Forks
Watchers

Owner

verified publisher icon dwrensha

Metadata

Catalog Of Math Problems Formalized In Lean

Back