Search results

[*] Roadmap: Comprehensive Lean 4 Mastery for Math Lab

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In Limax314/math-lab;

· Limax314 opened on May 3, 2026

[*] 야수연 오픈채팅방 투고 연분수 관련 문장 조사

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In Limax314/math-lab;

· Limax314 opened on Apr 26, 2026

[*] LaTeX 도입 검토

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In Limax314/math-lab;

· Limax314 opened on Apr 2, 2026

[*] 선형 대수 자료 정리

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In Limax314/math-lab;

· Limax314 opened on Feb 8, 2026

[*] Lean 코드 컴파일러 설정

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In Limax314/math-lab;

· Limax314 opened on Feb 7, 2026

[*] Putnam A3 문제 풀이

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#1 In Limax314/math-lab;

· Limax314 opened on Feb 1, 2026