This repository was archived by the owner on Jan 5, 2025. It is now read-only.

Commit 39a2b7e

authored

09_tactics (#10)

* 翻訳開始 * 翻訳完了 * 誤記修正

1 parent 0537885 commit 39a2b7eCopy full SHA for 39a2b7e

2 files changed

+262

-1

lines changed

lean/main
- 09_tactics.lean
md
- SUMMARY.md

2 files changed

+262

-1

lines changed

Comments

(0)