Speaking in Tongues solutions

Speaking in Tongues was solved using Coq by 1 contestant.