coq tacticwhy can39t i weaken my

coq tactic - why can't i weaken my goal in coq? (beginner) - Stack Overflow
I'm quite new to Coq, I have done several projects in OCaml before and I'm doing this as a pr
coq tacticwhy can39t i weaken my goal in coq (beginner)Stack Overflow
admin5小时前
10