Pages that link to "Four-Color Theorem"

The following pages link to Four-Color Theorem:

Displaying 16 items.

• Formal methods (← links)
• Theorem proving (← links)
• Coq (← links)
• Georges Gonthier (← links)
• Kenneth Appel (← links)
• Wolfgang Haken (← links)
• Planar Graph (← links)
• Discharging (← links)
• Feit-Thompson Theorem (← links)
• Mathematical Components (← links)
• Inria (← links)
• Graph theory (← links)
• University of Illinois at Urbana-Champaign (← links)
• Illinois Journal of Mathematics (← links)
• Agda (programming language) (← links)
• Coq proof assistant (← links)