SimLiconValley

SimLiconValley/math-lab

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

1 stars 0 forks 1 watchers

2 Open Issues Need Help Last updated: Jun 19, 2026

Open Issues Need Help

View All on GitHub

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

documentation enhancement good first issue

SimLiconValley/math-lab

1

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

[*] `alphaproof-nexus-results` 증명 검증 실습 about 1 month ago

documentation enhancement help wanted question

SimLiconValley/math-lab

1

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