Coq verification of Translated Cyclers

Jul 2023 · mei

Dependencies:

Featured Links

Github	https://github.com/meithecatte/busycoq
Chat about it	https://discord.com/channels/960643023006490684/1028753852238925834
Forum Link	https://discuss.bbchallenge.org/t/decider-translated-cyclers/34/10?u=cosmo