F* is older than a decade. Also it's a research project, so quite different than the random "memory safe" language iteration of the day.