lean-ja / lean-ja/lean-by-example
付録アイデア: 命題論理のトートロジー決定タクティク
Open
Nobody has claimed this yet.
付録アイデア
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
by_cases を繰り返して全部 simp するだけの簡単なお仕事
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the appendix section for proposed additions and review how Lean examples are organized there. Implement the propositional-logic tautology tactic described in the issue using repeated case splitting and simplification, then verify that it handles the intended tautologies and fits the surrounding educational material.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 55/100