Stream: Coq Workshop 2021

Topic: [S4T2]Coq/Ssreflect for large case-based graph theory proofs

view this post on Zulip Christian Doczkal (Jul 02 2021 at 14:40):

Presentation given by Daniel Severin (not on Zulip)

view this post on Zulip Andrej Dudenhefner (Jul 02 2021 at 15:00):

Do you expect this to be maintainable? One small definition change could shift a lot of cases.

Last updated: Nov 29 2023 at 05:01 UTC