Open BoltonBailey opened 10 months ago
See recipes/plain-lean4.lean, recipes/lean4-tactics.rst, recipes/lean4-tactics-myst.md and recipes/literate-lean4.lean for examples.
All of these links are giving me 404
Actually, check that, the first one is ok, the rest are broken though.
All of these links are giving me 404