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

chore: add link to doc/examples

Browse source
This commit is contained in:
Leonardo de Moura 2022-03-25 14:46:43 -07:00
parent 6da9119516
commit 9aca413e31
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
RELEASES.md
View file

@ -1,3 +1,8 @@
Unreleased
---------
* [Added tutorial-like examples to our documentation](https://github.com/leanprover/lean4/tree/master/doc/examples). They will be soon rendered using LeanInk+Alectryon.
v4.0.0-m4 (23 March 2022)
---------