Mathlib을 기반으로 기계 검증 증명을 제공하는, 오픈소스 대수기하학 참고 자료 Stacks Project의 Lean 4 형식화 프로젝트입니다.
123+19 이번 주26LeanApache-2.0업데이트 어제
언어
추천 Lean 오픈소스 프로젝트
Lean로 작성된 엄선 오픈소스 프로젝트를 스타 순으로 소개합니다. AI 요약과 라이선스 정보 포함.
저장소 4개
Lean으로 작성한 형식 검증된 Ethereum 기본 요소로, Lean 프로젝트에서 함께 사용할 사양과 증명을 제공하는 공용 라이브러리입니다.
85+6 이번 주22LeanCC0-1.0활발히 관리됨업데이트 4시간 전
C#, F# 등 .NET 언어로 컴파일된 .NET CIL을 대상으로 정확성과 메모리 안전성을 기계 검증하는 Lean 4 프레임워크입니다.
114+10 이번 주3LeanOther업데이트 9시간 전
형상 검사를 지원하는 텐서와 PyTorch 스타일 학습을 제공해 신경망을 명세하고 실행하며 형식 검증하는 Lean 4 프레임워크입니다.
206+14 이번 주25LeanMIT활발히 관리됨업데이트 10일 전