使用说明lean4-memories 内容references文件夹memory-patterns.md17.1 kBscripts文件夹memory_helper.py11.7 kBskill-card.md2.3 kBSKILL.md12.5 kB手动下载zip · 14.8 kBmemory-patterns.mdtext/markdown请选择文件