Stream: Coq users

Topic: 4 color theorem preprint

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: Apr 18 2024 at 16:01 UTC