max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: add link to RELEASES.md

Browse source
This commit is contained in:
Leonardo de Moura 2022-03-03 11:31:24 -08:00
parent 30409fc73d
commit e4fa3e5d83
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
README.md
View file

@ -6,6 +6,7 @@ This is the repository for **Lean 4**, which is currently being released as mile
- [Homepage](https://leanprover.github.io)
- [Theorem Proving Tutorial](https://leanprover.github.io/theorem_proving_in_lean4/)
- [Manual](https://leanprover.github.io/lean4/doc/)
- [Release notes](RELEASES.md) starting at v4.0.0-m3
- [FAQ](https://leanprover.github.io/lean4/doc/faq.html)
# Installation