LEAN

A interactive theorem prover to verify code correctness and mathematical theorems. It is mainly for:

• Mathematics
• Software/Hardware verification

Concepts

• Formal Verification
• Mathlib
• LEAN Graph

Resources

• https://adam.math.hhu.de/
• https://leodemoura.github.io/files/CAV2024.pdf