(via avkarpich) Вдруг кто-нибудь захочет в Москве пописать на Isabelle/HOL -- https://www.linux.org.ru/forum/job/11244226
>Понятно что на бнваче искать таких людей бессмысленно, но вдруг повезет.
#499S99/6KR
/ @anonymous
/ 3387 дней назад
Цоперайт © 2010-2016 @stiletto.