Deedlit

TypePostAuthorRepliesLast post
Open problemTermination of the sixth Goodstein Sequence mdevos514 years 18 weeks ago