Hmmm I think maybe the important distinction is getting lost which means I haven't communicated as clearly as I'd hoped :)
Cardano has a basis in formal research and Charles makes clear statements that they value that approach to deliver their platform.
Dan Larimer just as clearly wants to put platforms into production and relies on good instincts and heuristic/"practical" definitions of security.
Both are delivering software, just from very different perspectives. There would be an easy test to run here ...
What would happen if there were some security flaw found in Ouroboros? The primary claim on which Cardano is founded is that they have "provable security". My prediction is that they would pull the brakes until the flaw was rectified or disproven. They would have to because it undermines their primary claim. If someone pushed a similar flaw in the threat model or ways to break the security properties of EOS, Dan would laugh and say it was an unrealistic threat or the large pool of voters/stakeholders would defuse the problem and push forward with delivery. Rigorous process is not the underpinning of EOS.