Для пишущих на Coq математиков.

[Yorick]

Я не знаю куда правильней обращаться, но я хотел бы связаться с математиком, желательно имеющим небольшой опыт в Coq, чтобы он помог мне с моей квалификационной работой, в том числе с оформлением. Сам я справлюсь, но медленно, а время ещё есть, но немного, хочется несколько ускориться.
Что насчёт этого порекомендуете? (а если заинтересованы - пишите в личку)