The thing that worries me the most about this project is that the vast majority of programmers and developers have zero familiarity with the mathematical ideas of formal verification and that the barrier to entry for this platform could be quite high.
You are viewing a single comment's thread from:
Barriers are certainly very high.