go 如何在 Coq 中证明 A \/ False -> A？ 英文: How to prove A \/ False -> A in Coq? 问题 I am learning Coq and trying to prove "A / False... 2023年2月8日53评论coq logic
go Exhaustiveness matching in proof objects for induction in Coq. 英文: Exhaustiveness matching in proof objects for induction in Coq 问题 在《软件基础》中，他们讨论了如何为归纳构建自己的证明对象： h... 2023年1月6日95评论coq
53评论coq
logic
