Coq verification of Cyclers

Jul 2023 · mei

Dependencies:

Featured Links

Github	https://github.com/meithecatte/busycoq/blob/4aa54f82b97071e576398254937cb4aa69d945be/verify/Cyclers.v#L95-L96
Chat about it	https://discord.com/channels/960643023006490684/1028753914503385199
Forum Link	https://discuss.bbchallenge.org/t/decider-cyclers/33/8?u=cosmo