В каком разделе лучше обсуждать пруфчекинг?

[george66]

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

[Yadryara]

Не, ну раздел подходящий Здесь, например, можно поправить: не сошло, а снизошло

[пианист]

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

[DimaM]

(Оффтоп)

Дискутировать пруфчекинг.

[Ende]

пианист в сообщении #1646343 писал(а):

Тема, конечно, для "Математика (общие вопросы) "

Солидарен.

пианист в сообщении #1646343 писал(а):

А вот есть ли здесь интересующиеся - ?

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

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

[Anton_Peplov]

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