William Bradley comments

Repositories
Issues
Comments

Results 2 comments of


                                            William Bradley

Create the problem statement for IMO 2025 #4

Sorry, I don't know why Github links `#4` in the title to an old merge. I'll write P4 in the future

Create the problem statement for IMO 2025 #4

> Are you aware of [IMOLean](https://github.com/jsm28/IMOLean)? It has formalizations of problem statements for recent years. [Here](https://github.com/jsm28/IMOLean/blob/main/IMO/IMO2025P4.lean) is its formalization of this problem. Thank you! I know the OrderEmbedding in the...