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: Jun 16 2024 at 01:42 UTC