4 ms·Because one might be small and formally proveable and the other might be Linux.by vertex-four 8y agoBecause one might be small and formally proveable and the other might be Linux.