mirror of
https://github.com/SinTan1729/lean-talk-sp24.git
synced 2025-04-08 12:28:04 -05:00
5 lines
133 B
Markdown
5 lines
133 B
Markdown
# Lean Talk SP24
|
|
|
|
These are the files used in my talk titled "A (very) Brief Introduction to lean 4".
|
|
|
|
[References](./references.md)
|