lean4
| 글 | 댓글 | 조회수 | 활동 | |
|---|---|---|---|---|
| TorchLean: 신경망을 Lean 4 안에서 명세하고 실행하며 검증하는 통합 프레임워크 |
|
0 | 238 | 6월 2, 2026 |
| 글 | 댓글 | 조회수 | 활동 | |
|---|---|---|---|---|
| TorchLean: 신경망을 Lean 4 안에서 명세하고 실행하며 검증하는 통합 프레임워크 |
|
0 | 238 | 6월 2, 2026 |