Concise, professional guidance on Coq proofs, assumes prior knowledge.

💬 1+ Chats