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