formal-land/rocq-of-rust
@formal-landRust를 위한 정적 검증 도구: 프로그램의 모든 실행 케이스를 100% 확인하여 더욱 안전한 애플리케이션을 구축합니다.
스타
1,164
포크
44
언어
Rocq Prover
라이선스
—
마지막 푸시
9시간 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.