SimLiconValley

SimLiconValley/math-lab

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

1 stars 0 forks 1 watchers

1 Open Issue Need Help Last updated: Jun 19, 2026

Open Issues Need Help

View All on GitHub

[*] `alphaproof-nexus-results` 증명 검증 실습 4 months ago

documentation enhancement help wanted question

SimLiconValley/math-lab

1

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