Программы lurch.sf.net

Программное обеспечение для обучения и изучения математических доказательствТам, где большинство математических доказательств программного обеспечения концентрируется на формальной логике (или какой-либо другой специальност