CS511 Homework-Formal Method

This is a Lean 4 project for math exercises and proofs.

Structure

• Main.lean: Main entry point.
• Hw.lean, Hw/Basic.lean: Library modules.
• hw_01.lean: Math exercises and proofs.
• lakefile.toml: Project configuration.
• .lake/packages: Dependencies.

Build and Run

Install dependencies:

  lake update

Lean file

please check the ./CS511/hw_01.lean