토픽 · proof
proof
proof 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
리포지토리
8
총 스타
7,070
평균 스타
884
비중
0.00%
관련 토픽
같은 리포지토리에 proof 태그와 자주 함께 쓰이는 토픽이에요.
최근 라이징
최근 90일 안에 만들어지고 proof 태그가 달린 리포지토리예요.
최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.
- #1★ 1,834+4최근 7일 스타 변화
- #2
Rust를 위한 정적 검증 도구: 프로그램의 모든 실행 케이스를 100% 확인하여 더욱 안전한 애플리케이션을 구축합니다.
★ 1,161+3최근 7일 스타 변화 - #3
고급 SAT 솔버
★ 940+1최근 7일 스타 변화 - #4★ 696+5최근 7일 스타 변화
- #5
Agda 표준 라이브러리
★ 675+0최근 7일 스타 변화 - #6★ 633+3최근 7일 스타 변화
- #7★ 625+0최근 7일 스타 변화
- #8★ 507+0최근 7일 스타 변화
