Skip to content
Merged
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions data/problems.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -6684,6 +6684,7 @@
formalized:
state: "no"
last_update: "2025-08-31"
comments: "partial r=2 result"
tags: ["number theory", "iterated functions"]

- number: "412"
Expand Down