소유자 · Paper-Proof

Paper-Proof

Paper-Proof의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리 1개

#1
paperproof ↗@Paper-ProofTypeScript
종이와 펜으로 증명하는 듯한 느낌을 주는 Lean 정리 증명 인터페이스
★ 545+3최근 7일 스타 변화