spivak-lean
Michael Spivak의 Calculus를 Lean 4로 형식화: 3판 및 4판의 30개 장과 9개 부록에 실린 모든 정리와 문제 - stormj-UH/spivak-…
SITE CAPTURE서비스 페이지에 공개된 정보를 바탕으로 표시합니다. 선정·검수 원칙
SCANNING · 페이지 신호 확인 중
다음 화면을
찾고 있어요.
내용이 도착하는 대로 바로 보여드릴게요.
SITE CAPTURE비슷한 서비스
언어 모델의 증명 탐색과 Lean 4 검증을 결합한 자율 정리 증명기.
→localhost를 공유 가능한 URL로 공개하는 오픈소스 터널링 CLI.
→웹 앱용 에이전트 커넥터를 만드세요. 브라우저 세션을 캡처하고, 앱의 API를 OpenAPI 3.1로 기술한 뒤, 터미널에서 실행할 수 있습니다.
→일반 파일을 트리 형태로 구성한 AI 코딩 에이전트(Claude Code, Codex, opencode)용 장기 기억 시스템 - gonzaroman/IHMT-MEMORY
→