The following pages link to Flyspeck I: Tame Graphs (Q3613398):
Displayed 15 items.
- Tame Graphs (Q40292) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- A graph library for Isabelle (Q2018659) (← links)
- Graph theory in Coq: minors, treewidth, and isomorphisms (Q2209536) (← links)
- Flyspeck II: The basic linear programs (Q2379683) (← links)
- Formalizing Frankl’s Conjecture: FC-Families (Q2907327) (← links)
- A compiled implementation of normalisation by evaluation (Q2913943) (← links)
- Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism (Q3088012) (← links)
- The Isabelle Framework (Q3543647) (← links)
- A Compiled Implementation of Normalization by Evaluation (Q3543648) (← links)
- The dodecahedral conjecture (Q3584349) (← links)
- Computational logic: its origins and applications (Q4559535) (← links)
- Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation (Q5049007) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)