Skelet #1 is a translated cycler – Coq agrees

Aug 2023 · mei

Dependencies:

Featured Links

Github	https://github.com/meithecatte/busycoq/blob/master/verify/Skelet1.v
Chat about it	https://discord.com/channels/960643023006490684/1075378436404678707
Forum Link	https://discuss.bbchallenge.org/t/skelet-1-is-a-translated-cycler-coq-agrees/166
Wiki Link	https://wiki.bbchallenge.org/wiki/Skelet_1