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: Aug 11 2022 at 02:03 UTC