Архив за месяц: Июнь 2012

Бурбакизатор

После долгого перерыва обновлён Бурбакизатор — исправлена ошибка, приводившая, в частности, к невозможности синтеза некоторых родов структур. По-прежнему актуален мой призыв к студентам: буду рад стать научным руководителем для желающих сделать НИР по переводу Бурбакизатора на FreePascal и доводке необходимых функциональных возможностей.

Запись опубликована .