Chemotaxis III in Lean

Chemotaxis III의 부분 Lean 4 형식화와 명시적 검증·조건부·제외 범위 원장

원문 보기

Partial Lean 4 formalization of Chemotaxis III, with an explicit verified, conditional and excluded scope ledger.

개발 도구Lean · TeXGitHub @chenle02온라인운영자 미확인

제품 방문하기 GitHub

써 보셨어요? 한 번만 눌러 주세요. 로그인은 필요 없어요.

가동 상태: 온라인; 30일 가동률 100%
최근 코드 업데이트: 11월 7일; 활성 저장소
최신 버전: v0.1.0; v0.1.0: partial Chemotaxis III formalization · 10월 23일
기여자: 1명; 포크 0
라이선스: GitHub 자동 판별 · 이전 수집 값 · 11월 10일 수집 기준
nomorevibe 등록: 11월 10일; 저장소 생성 2026년 10월

언어 구성

Lean 89.8%
TeX 8.6%
Python 0.9%
Shell 외 0.7%

업데이트최근 30일 1건

전체

10월 23일v0.1.0: partial Chemotaxis III formalizationGitHub 릴리스 ↗

최신순

···

GitHub 이슈 수신 설정

로그인 상태를 확인하는 중입니다.

댓글을 불러오는 중입니다.

정보

운영 주체: @chenle02 ↗GitHub 저장소 소유자
웹사이트: chenle02.github.io/chemotaxis-paper-iii-lean ↗
저장소: chenle02/chemotaxis-paper-iii-lean ↗공개 · 활성
사이트와 저장소: 서로 주소를 적어 둠
분야: 개발 도구
이용 방식: 웹사이트
기술 스택: Lean
정보 갱신: 11월 10일GitHub

이 프로젝트의 운영자인가요?

개인 계정의 공개 저장소 소유자는 GitHub로 로그인해 운영자를 확인하고 소개를 직접 관리할 수 있습니다. 관리자 승인은 필요하지 않습니다.

조직 저장소·저장소 파일로 직접 확인

로그인한 뒤 확인 파일을 만들어 이 저장소의 기본 브랜치에 30분 안에 커밋해 주세요. 다른 브랜치나 포크의 파일은 인정하지 않습니다. 파일을 올린 뒤 아래에서 확인하면 관리자 승인 없이 관리할 수 있습니다. 자격을 유지하려면 파일을 남겨 두세요.

로그인이 필요하면 로그인 화면으로 이동합니다. 로그인 후 이곳으로 돌아와 원하는 확인 버튼을 다시 눌러 주세요.

프로젝트 폴더에서 /nomorevibe verify를 실행하면 소유권을 확인하고 소개를 직접 관리할 수 있습니다.

1분 만에 확인하기

다른 확인 방법 문의

소개 수정·목록에서 내리기 요청하기

정보

운영 주체

@chenle02 ↗GitHub 저장소 소유자

웹사이트

chenle02.github.io/chemotaxis-paper-iii-lean ↗

저장소

chenle02/chemotaxis-paper-iii-lean ↗공개 · 활성

사이트와 저장소

서로 주소를 적어 둠

분야

개발 도구

이용 방식

웹사이트

기술 스택

Lean

정보 갱신

11월 10일GitHub

이 프로젝트의 운영자인가요?

개인 계정의 공개 저장소 소유자는 GitHub로 로그인해 운영자를 확인하고 소개를 직접 관리할 수 있습니다. 관리자 승인은 필요하지 않습니다.

조직 저장소·저장소 파일로 직접 확인

로그인이 필요하면 로그인 화면으로 이동합니다. 로그인 후 이곳으로 돌아와 원하는 확인 버튼을 다시 눌러 주세요.

프로젝트 폴더에서 /nomorevibe verify를 실행하면 소유권을 확인하고 소개를 직접 관리할 수 있습니다.

1분 만에 확인하기

소개 수정·목록에서 내리기 요청하기

Chemotaxis III in Lean

언어 구성

업데이트최근 30일 1건

댓글

Chemotaxis III in Lean

언어 구성

업데이트최근 30일 1건

댓글

소개

README

README

README

Chemotaxis III in Lean

언어 구성

업데이트최근 30일 1건

댓글

개발 도구 분야에서 지금 뜨는

Chemotaxis III in Lean

언어 구성

업데이트최근 30일 1건

댓글

개발 도구 분야에서 지금 뜨는

소개

README

README

README