fixfix
2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 03:56 
Заслуженный участник


31/12/15
946
На меня сошло вдохновение и я формализовал свои доказательства в Coq. Интересно ли это здешней публике и в каком разделе лучше обсуждать?

 Профиль  
                  
 
 Re: В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 07:52 
Аватара пользователя


29/04/13
8346
Богородский
Не, ну раздел подходящий :-) Здесь, например, можно поправить: не сошло, а снизошло :roll:

 Профиль  
                  
 
 Re: В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 08:49 
Заслуженный участник
Аватара пользователя


03/06/08
2338
МО
Тема, конечно, для "Математика (общие вопросы) ".
А вот есть ли здесь интересующиеся - ?

 Профиль  
                  
 
 Re: В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 09:47 
Заслуженный участник


28/12/12
7949

(Оффтоп)


 Профиль  
                  
 
 Re: В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 10:04 
Админ форума


02/02/19
2664
пианист в сообщении #1646343 писал(а):
Тема, конечно, для "Математика (общие вопросы) "
Солидарен.

пианист в сообщении #1646343 писал(а):
А вот есть ли здесь интересующиеся - ?
Не знаю, есть ли они сейчас, но не исключено, что:
1) они просто еще не знают, что им интересно
2) они появятся позже. На форум приходят новые участники.

george66, если с Вашей стороны это не требует слишком много труда, то, во всяком случае, стоит начать.

 Профиль  
                  
 
 Re: В каком разделе лучше обсуждать пруфчекинг?
Сообщение15.07.2024, 10:18 
Заслуженный участник
Аватара пользователя


20/08/14
8640
Не обещаю задавать умные вопросы, но я бы взглянул на пару доказательств хотя бы из любопытства.

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

Модераторы: cepesh, Forum Administration



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

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


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

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