Proof Assistants

General discussion for https://proofassistants.stackexchange.com
55d ago – SK19
944
29

export all events for this room

Starred posts

1 2 3
Nov 25, 2021 09:45
Well, there's always the classic, 4 color theorem verified in Coq
Nov 25, 2021 05:45
@GuyCoder Matter Modeling had a normal SE election to select the pro tempore mods. The election was announced shortly after going into public beta and held a few weeks later.
Nov 25, 2021 00:48
Honestly this would make one of the most valuable questions on Proof Assistants
Nov 24, 2021 13:51
@GuyCoder The most relevant post to your situation is this one: area51.meta.stackexchange.com/q/25863/181492. I expect the Thanksgiving holiday will push things back and they like to launch these sites on Tuesday so my the earliest I think it will launch will be Dec 8th.
Nov 24, 2021 13:06
@GuyCoder Also I'd add to this message that you can't change your vote made on a post after some amount of minutes, unless the post is edited, in which case you can freely change your vote (cancel your upvote or even change an upvote to a downvote)
Nov 24, 2021 12:46
Hi, trying to get my bearings here. Is this chat room something made by @GuyCoder or SE overlords? And are we really on MathOverflow.
Nov 24, 2021 11:14
This is just a temporary chat room for the proposed Proof Assistants site.
1 2 3