История изменений
Исправление ymn, (текущая версия) :
Я особо не в курсе, если честно. А зачем выпиливать?
Алсо, смотри какую штуку нашел — http://research.microsoft.com/en-us/projects/dafny/
Исходная версия ymn, :
Я особо не в курсе, если честно. А зачем выпиливать?