Kim Morrison da55b2e19b chore: updates to release_checklist.md (#7817) ... This PR updates `release_checklist.md`, reflecting current practice and automation.		2025-04-04 03:45:36 +00:00
..
bin
dev
examples
images
latex
make
std
.gitignore
alectryon.css
alectryon.js
book.toml
bool.md
BoolExpr.lean
declarations.md
definitions.md
dep.md
deptypes.md
examples.md
expressions.md
faq.md
flake.lock
flake.nix
fplean.md
funabst.md
highlight.js
introdef.md
lean3changes.md
lexical_structure.md
metaprogramming-arith.lean
metaprogramming-arith.md
mission.md
other_commands.md
perf.md
pygments.css
quickstart.md
reference.md
semantic_highlighting.md
setup.md
simptypes.md
SUMMARY.md
syntax_example.lean
syntax_example.md
syntax_examples.md
syntax_highlight_in_latex.md
tactics.md
tour.md
tpil.md
typeobjs.md
types.md
using_lean.md
whatIsLean.md