6

Proposal: Proof Assistants

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

You must log in to answer this question.

Browse other questions tagged .