CS 294-268 Final Project Proposal

Title:

Group Members:

1. Project Topic

Briefly describe the theorem or result you plan to formalize. State it precisely (1–3 sentences).

2. Background and Motivation

Why is this result interesting or important? What area of TCS or mathematics does it come from? (2–4 sentences)

3. Proof Strategy

Describe the proof approach you plan to follow. What are the key lemmas or steps? Are you following a specific reference or textbook proof?

4. Lean Formalization Plan

How do you plan to structure the Lean development? List the main definitions and theorems you expect to state and prove. Note any relevant Mathlib lemmas or libraries you anticipate using.

5. Potential Challenges

What aspects of the formalization do you expect to be difficult? Are there any parts of the proof that may require significant new infrastructure?

6. References

List the papers, textbooks, or other sources whose proofs you plan to follow.