Тема	#	Автор	Дата	Форум
Why3		Эйнсток Файр	2 года 9 мес	Средства разработки
[Ann]Сертифицированное программирование на зависимых типах	16	deniok	14 лет 4 мес	Декларативное программирование