본문으로 건너뛰기
buildradar
Sign in
토픽 · proofs

proofs

proofs 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리
3
총 스타
3,413
평균 스타
1,138
비중
0.00%

같은 리포지토리에 proofs 태그와 자주 함께 쓰이는 토픽이에요.

최근 라이징

최근 90일 안에 만들어지고 proofs 태그가 달린 리포지토리예요.

최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.

  • Java, Python, Mathematica, Haskell로 Project Euler 문제를 해결하기 위한 실행 가능한 코드

    1,959-1최근 7일 스타 변화
  • aeneas@AeneasVerif

    Rust 프로그램을 위한 검증 툴체인

    948+17최근 7일 스타 변화
  • karamel@FStarLang

    KaRaMeL은 저수준 F* 프로그램을 읽기 쉬운 C 코드로 추출하는 도구입니다.

    518+0최근 7일 스타 변화
← 토픽 목록으로