/fizzbuzz-coq

The ultimate solution for the world's most undecidable (or sth) problem - proven Coq

Primary LanguageCoqGNU General Public License v3.0GPL-3.0

fizzbuzz-coq

The ultimate solution for the world's most undecidable (or sth) problem - proven Coq