coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Proposed Stack exchange website for Proof Assitants

From: Agnishom Chattopadhyay <agnishom AT cmi.ac.in>
To: coq-club AT inria.fr
Subject: [Coq-Club] Proposed Stack exchange website for Proof Assitants
Date: Sat, 20 Nov 2021 13:03:06 -0600
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=agnishom AT cmi.ac.in; spf=Pass smtp.mailfrom=agnishom AT cmi.ac.in; spf=None smtp.helo=postmaster AT mail.cmi.ac.in
Ironport-hdrordr: A9a23:yTBHIaF4hLze0iodpLqEwMeALOsnbusQ8zAXPiFKOGVom6Oj5qKTdZggpHzJYVUqOE3I++rwXJVoKEm0nfUejOUs1NyZLW7bUQWTXedfBEjZrAHIKmnR8uZc0ONHaKhxCNr5CBxfgdzh6Ae1V/YMqeP3lZxASd2x856ld2BXV50=
Ironport-phdr: A9a23:wlP1ZhyYnGa4xEDXCzIpylBlVkEcU1XcAAcZ59Idhq5Udez7ptK+ZhSZtKwm0QCBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekdi72/q29pHObAlFhDiwaq5uIRurqgncqtMYipZ4JKYrzRvJrHpIe+BIym5tOFmegRXy6Nqu8ZB66yhftO4v+MBGUaXhYqQ3VqdYAyg8M2A0/8Lkqx/ORhaS63QGU2UWlh1IAxXZ7Bz/Q5z8vDf2uvZ71SKHO8D9ULI6Vim476pzRxDmiCkJOT0k/m/JlsN9l7hUrA67qhFl34LYfIOYOfxjda3dZ9MaQm9BU95NWixOBIO8bpAPD+oGPeZdsoLwuVsOogGiBQmwA+Pv0iVHiWL23aw6yesgERzN0Qs6ENIBtnTUrc71NKcVUeCw16TH0TDDb/JM1Tjn9IfEaBEhofeVUL92bMHexlUhGRnfgVWMtYzqISmV1uIVvmWb8eduVeOihnA7pw1srTWixsMhh43JiI8Uy13I6CV3zJo6K9C8S0N2fMKoHZlQuSyYN4V7XsAvTmBstSomyrMLv4OwciYNyJQi3RHfavqHfpCS7RLlSemROyl3hHB/dL2jgBay9E6twfD/WMmsyFtGszdJn9nWunwT2BHe6dKLRuVg8ku7xDqC1Bzf5vlaLUwokafXMZ0sz74qmpYOsEnOHDX6lUr4gaKQa04q4PKn6/79bbXjvpKcN5F7igX5Mqk2n8ywG+U4MgwUU2eH/OS81afv8lflT7lQj/02lLHVsJHcJcsFuq60GxJZ3psj5hqlETur39cVkWMZIF5YYh6LkovkN03WLPD9F/i/glCskDlxx/DBO73sGo/CLnfFkLfgZrZ960lcyA8owN9D4pJUC6sNL+jvVUPrtdzYCAc1MxaozOb/FNV9yoQeVHqTDa+eKaPeqEOH5uYyI+aXf4IVozb8K/095/H0l3M5mFkdfbOo3ZQNcny4EO5mcA2lZi/nhc5EGmMXtCI/SvbrgRuMS219fXG3Cosz4DAgCIWjRazDT5yxh6SI0CeqF4weMmlJDFGXEXDtX46BWrEFY2STJJkywXQ/SbG9Rtp5hlmVvwjgxu8/RgI70iYdtNTq35504b+K/fnT3Tl9DsDb2GSMCWh/2GIOFWdeNEVXqkl8jF6Il6l+0aQwKA==

Please see the post by Andrej Bauer below

http://math.andrej.com/2021/11/20/proof-assistants-stackexchange-site/

If you would like to support this proposal, you can upvote example questions and ask interesting questions on the area 51 website.

[Coq-Club] Proposed Stack exchange website for Proof Assitants, Agnishom Chattopadhyay, 11/20/2021