Stream: Coq users

Topic: 4 color theorem preprint

view this post on Zulip Assia Mahboubi (Mar 24 2023 at 11:34):

The original report by Georges Gonthier on his formalization of the Four Color Theorem (with contributions by Benjamin Werner) is now available as a HAL preprint.

Last updated: Oct 04 2023 at 19:01 UTC