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

Martin Sleziak
Martin Sleziak
9:45 AM
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
 

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