4 ms·

Yeah SPARK ADA is what I meant :) I think formal verification is the way to go with AI moving forward.