Interesting, challenging, or fun math problems formalized in Coq
Problem #5 is here
Problem #5 Template
Problem #4 is here
Problem #4 Template
Problem #3 is here
Problem #3 Template
Problem #2 is here
Problem #2 Template
Problem #1 is here
Problem #1 Template