[Cryptix-users] Formal Proof

[silviu a. <sil...@ya...>]

Hello everybody!
  I am new to Cryptix and I plan on using it in a project. But, I can only use it if Cryptix has a formal proof of its correctness with respect to its Java source code. Also, if this is not the case, can someone, please, point me to
a library/class that has such a formal proof?

Best regards,
  Silviu