Scala code to solve a puzzle
Primary LanguageCoq
Certified Red-Black implementation and visualization