## Author:Luís Cruz-Filipe
## KeyphrasesBoolean Pythagorean Triples problem, Certified implementation, Choreographic Programming, constraint solving, distributed protocols, formal proofs, interactive theorem proving, program optimization, satisfiability, sorting networks, theorem proving. |