Comment by cmircea

Has the BCrypt code for all other languages been formally verified?