Eric Wieser 9247206c0e doc: clarify that lean_initialize_runtime_module is implied by lean_initialize (#6677) ... Calling both runs the initializers twice, resulting in a memory leak		2025-01-28 10:12:59 +00:00
..
bootstrap.md
commit_convention.md
debugging.md
ffi.md	doc: clarify that lean_initialize_runtime_module is implied by lean_initialize (#6677)	2025-01-28 10:12:59 +00:00
index.md
mdbook.md
release_checklist.md
testing.md