« first day (3074 days earlier)      last day (1184 days later) » 

Martin Sleziak
Martin Sleziak
09:45
1
Q: Chat room for ProofAssistants proposal

Guy CoderProposal: Proof Assistants A StackExchange chat room has been setup at https://chat.stackexchange.com/rooms/131732/proofassistants-temp

science
chat.stackexchange.com/rooms/131732/proofassistants-temp

« first day (3074 days earlier)      last day (1184 days later) »