8

The proposal for a proof assistants StackExchange site

 2 years ago
source link: https://math.andrej.com/2021/11/20/proof-assistants-stackexchange-site/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client

The proposal for a proof assistants StackExchange site

Proof assistant communities have grown quite a bit lately. They have active Zulip chats: Lean, Coq, Agda, Isabelle. These are good for discussions, but less so for knowledge accumulation and organization, and are not indexed by the search engines.

I have therefore created a proposal for a new “Proof assistants” StackExchange site. I believe that such a site would complement very well various Zulips dedicated to specific proof assistants. If you favor the idea, please support it by visiting the proposal and

  • becoming a follower (you have to be a registered user with a verified email account),
  • asking sample questions, and
  • upvoting good sample questions.

To pass the first stage, we need 60 followers and 40 questions with at least 10 votes to proceed to the next stage.

Comments

21 November 2021 at 00:07

It would be great to have discussions related to ACL2 and its extensions as well.

Pavel Shuhray
30 November 2021 at 05:57

Andrej, you are the founder of 21st century mathematics.

Post a comment:
Write your comment using Markdown. Use $⋯$ for inline and $$⋯$$ for display LaTeX formulas, and <pre>⋯</pre> for display code. Your E-mail address is only used to compute your Gravatar and is not stored anywhere. Comments are moderated through pull requests.

Name

E-mail

Website

Comment


report

Recommend

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK