Deedlit

TypePostAuthorRepliesLast post
Open problemTermination of the sixth Goodstein Sequence mdevos516 years 1 week ago