#85024 05.10.24 Coq - следующая ступень после ocaml. Так же, как agda - после хаскеля. после хаскеля есть что-то еще? :) Да, бонусный уровень и титры.