[fpc-pascal] Competitive advantage in showing proof of correctness

[James Smith]

>There's a company already doing that:

>http://www.praxis-his.com/sparkada/intro.asp

I've read their book. Cool stuff.

James