max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/doc/reference.md
David Thrane Christiansen 5fcd42d71a
chore: remove old language manual (#6401) 
To avoid user confusion, there should be just one manual.

This PR deletes the old manual, adding a link to the new one; the
website config will redirect these pages to the corresponding new manual
content.
2024-12-16 14:37:16 +00:00

142 B
Raw Blame History

The Lean Reference Manual

The latest version of the Lean reference manual is available here.