Satisfiable Formula Challenge
Henry Spece has solved the challenge about proving the length of the longest satisfiable formula!
Challenge 6. (From PS3 Solutions) Provide a full and convincing proof for Problem 11.
The proof is here: PDF