Исправление qnikst, 20.05.13 22:16 (текущая версия) :
Agda, Coq, AXIOM </thread>
Читаешь, изучаешь осознаешь проблематику вопроса и знакомишься с достижениями, потом создаешь новый тред.
Исходная версия qnikst, 20.05.13 22:15: