New posts in Logical Foundations

Proving that a reversible list is a palindrome in Coq