Proof Assistants

« first day (261 days earlier) ← previous day next day → last day (870 days later) »

Feeds

00:00

This room has been automatically frozen for inactivity

5 hours later…

Feeds

04:31

Journeyman Geek has unfrozen this room.

Journeyman Geek

woof

Martin Sleziak

04:46

Thanks for unfreezing the room!

If somebody is curious, more about freezing inactive chatrooms can be found here: chat.stackexchange.com/rooms/138436/conversation/…

Can the main chatroom freeze?

2 days ago, 1 day 23 hours total – 23 messages, 2 users, 0 stars

Bookmarked 35 secs ago by Martin Sleziak

In short, if there is only one room associated with the site, the room will not be frozen even if it is inactive. (And the room imported from comments do not count here.)

7 hours later…

Martin Sleziak

12:05

Q: Engineerings questions on internal details of Proof Assistant implementations, usage and modifications?

I am trying to understand if PA.SE is more for maths or for programming. I have a detailed question on the internals of Coq and cannot decide if to put it here or to put it in the regular stack overflow. To give context on the exact questions (at a high level): I wanted to ask about engineering ...