직업 분류
소프트웨어 개발자
설명
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
원문 언어: 영어
업데이트
jeffrey-dot-li/lean-homology
SkillsMP는 jeffrey-dot-li/lean-homology에서 8개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
- 최근 기록된 소스 활동
- SkillsMP 카탈로그 업데이트
- 수집된 skills
- 8
- GitHub 스타
- 2
- GitHub 포크
- 0
수집된 skill 8개 중 8개를 표시합니다.
skill
직업 분류
설명
업데이트
직업 분류
소프트웨어 개발자
설명
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Fix warnings line by line and bring code into compliance with Mathlib style standards.
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Improve an existing working proof for structural clarity, succinctness, or reusability.
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
Fill a sorry one step at a time, directed by the user.
원문 언어: 영어
업데이트
직업 분류
수학자
설명
Read and discuss proofs, strategies, or math concepts without making any edits.
원문 언어: 영어
업데이트
직업 분류
물리학자
설명
Find whether a theorem/concept exists in Mathlib and locate building blocks for a new theorem.
원문 언어: 영어
업데이트
수집된 skill 8개 중 8개를 표시합니다.