Very interesting thoughts. We're verifying code. The idea here is not to close massive contracts with govts or SpaceX, but work on far smaller projects—even p

Very interesting thoughts. We're verifying code. The idea here is not to close massive contracts with govts or SpaceX, but work on far smaller projects—even potentially open source ones—where there is an interest in correctness.