Coq verification of Backward Reasoning

Aug 2023 · mei

Dependencies:

Featured Links

Github	https://github.com/meithecatte/busycoq
Chat about it	https://discord.com/channels/960643023006490684/1028745612121870377
Forum Link	https://discuss.bbchallenge.org/t/decider-backward-reasoning/35/21