fizzbuzz-coq
The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
The ultimate solution for the world's most undecidable (or sth) problem - proven Coq
GNU General Public License v3.0