Deedlit

TypePostAuthorRepliesLast post
Open problemTermination of the sixth Goodstein Sequence mdevos513 years 32 weeks ago