[Dontrememberit]

> I've been arguing lately that C++ should do something like this: Add a full-on theorem-prover to the language so that I can write my own safety rules specific to how my program works.

Did you take a look at ATS?

[kentonv]

I realize there are obscure programming languages that do this stuff, but I need it in C++.