As of May 31, 2023, we have updated our Code of Conduct.

Questions tagged [list-manipulation]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer

How to prove this correctness principle of transposition of lists of lists in Coq?

I have defined the function transpose as follows: ...
Agnishom Chattopadhyay's user avatar