$COQ Community, lend me your ears... As promised, it's time for the results of the inaugural CoqInu Hackathon. After much deliberation and wading through your amazing entries, we are happy to present a medium article with details of the judges verdicts.... Thank you to ALL that took part, please keep building. We will continue to highlight some of the builders that weren't quite in the mix for the prizes, but still made incredible contributions. We are just getting started!