Limax314

Limax314/math-lab

Lean을 활용한 수학 문제 풀이 연구 및 저장소.

2 good first / help-wanted issues · last activity Sep 17, 2026

1 stars 0 forks 1 watchers

2 Open Issues Need Help Last updated: Sep 17, 2026

Open Issues Need Help

View All on GitHub

[Research/Formalization] Formal Verification of the Pure-Power Exclusion (PPE) Lemma for the Erdős–Straus Conjecture in Lean 4 and LaTeX Paper Pipeline / 에르되시-스트라우스 추측(ESC)의 순수 거듭제곱 배제(PPE) 보조정리 Lean 4 형식 검증 및 LaTeX 논문 작성 about 1 month ago

documentation enhancement help wanted question

Limax314/math-lab

1

Lean을 활용한 수학 문제 풀이 연구 및 저장소.

⁠[Feat] Lean 4를 활용한 은닉 마르코프 모델(HMM) 및 바움-웰치(Baum-Welch) 알고리즘 기초 정형화 about 1 month ago

documentation enhancement good first issue

Limax314/math-lab

1

Lean을 활용한 수학 문제 풀이 연구 및 저장소.