Исправление quasimoto, 06.06.14 12:35 (текущая версия) :
И не знаю насчёт полезности, но есть
http://github.com/search?q=agda
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.PapersUsingAgda
http://homotopytypetheory.org/coq/
Исходная версия quasimoto, 06.06.14 12:31:
И не знаю на счёт полезности, но есть