jwiegley/category-theory
@jwiegley개인 학습 및 실무를 위한 Coq 기반의 공리 없는 범주론 형식화
스타
808
포크
83
언어
Rocq Prover
라이선스
BSD-3-Clause
마지막 푸시
1일 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.
개인 학습 및 실무를 위한 Coq 기반의 공리 없는 범주론 형식화
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.