The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
radrow/fizzbuzz-coq
The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
CoqGPL-3.0
The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
CoqGPL-3.0