Questions tagged [list-manipulation]
The list-manipulation tag has no usage guidance.
1
question
1
vote
1
answer
79
views
How to prove this correctness principle of transposition of lists of lists in Coq?
I have defined the function transpose as follows:
...