SinTan1729/lean-talk-sp24
1
0
Fork 0
mirror of https://github.com/SinTan1729/lean-talk-sp24.git synced 2024-12-25 21:28:36 -06:00
Code Issues Projects Releases Packages Wiki Activity

Update README.md

Browse source
This commit is contained in:
Sayantan Santra 2024-02-07 18:42:58 -06:00 committed by GitHub
parent d4f4910dc6
commit 5d54ff2df8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -1,3 +1,5 @@
# Lean Talk SP24 # Lean Talk SP24
These are the files used in my talk titled "A (very) Brief Introduction to lean 4". These are the files used in my talk titled "A (very) Brief Introduction to lean 4".
[References](/references.md)