Stream: Coq Workshop 2021

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

Christian Doczkal (Jul 02 2021 at 14:40):

Presentation given by Daniel Severin (not 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: Feb 09 2023 at 02:02 UTC