Not by virtue of that alone. A choice of tech stack can never be enough to prove anything. It only establishes a lower bound on resource usage, but there is ne

Not by virtue of that alone. A choice of tech stack can never be enough to prove anything. It only establishes a lower bound on resource usage, but there is never and upper bound as long as while() and malloc() are available.