Likewise (implementations of) SPARK ADA, Haskell and Isabelle are
open source; does this make them untrustworthy?
By open source, I think Andrew meant something like general-purpose or garden-variety or riff-raff or some such, as opposed to something exclusively the province of specialists.