2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Для пишущих на Coq математиков.
Сообщение03.06.2016, 10:19 


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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Модератор: Модераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group