Causality Leanified

A repository for leanifying causal inference course materials.

Overview

[Add project description here]

Structure

• lecture-notes/: Original course materials organized by year
• leanification/: Formal proofs and leanified versions of content
• scaffold/: Templates and scaffolding for Lean formalization

Getting Started

[Add setup instructions here]

License

[Add license information here]