• BCS <ao pathlink.com> Mar 06 2008
• Robert Fraser <fraserofthenight gmail.com> Mar 07 2008

BCS <ao pathlink.com> writes:

Has anyone done formal code proofs of D code. I've got an idea for a project 
that might need it and am wondering if anyone has any pointers/stories/etc.

Robert Fraser <fraserofthenight gmail.com> writes:

BCS wrote:
 Has anyone done formal code proofs of D code. I've got an idea for a 
 project that might need it and am wondering if anyone has any 
 pointers/stories/etc.


I /think/ Andrei mentioned it a few times.