Sorry I am new to coq. I'm wondering how to prove list concatenation is not commutative using coq?
How to prove list concatenation is not commutative using coq?
234 Views Asked by Serene M At
2
Sorry I am new to coq. I'm wondering how to prove list concatenation is not commutative using coq?
You just need to exhibit a counterexample. For instance: