7

I think this stems from the origin of the word "colonise" rather than any legal definition or opinion from any University. Wikipedia The term colonization is derived from the Latin words colere ("to cultivate, to till"), colonia ("a landed estate", "a farm") and colonus ("a tiller of the soil", "a ...


3

According to this blog, it's not a programming language, but instructions for a proof assistant: Indeed, the source code seen in the movie The Martian is written in PVS, a verification system developed by SRI International. It is also true that this particular code is part of the NASA PVS Library, a collection of formal theories developed and maintained by ...


Only top voted, non community-wiki answers of a minimum length are eligible