astrio-labs/forall
@astrio-labsForall (∀)은 Astrio에서 개발한 코딩 에이전트로, 사양 기반 코드와 기계 검증 가능한 증명을 생성하여 올바른 소프트웨어 구축을 돕습니다.
스타
598
포크
34
언어
Rust
라이선스
Apache-2.0
마지막 푸시
5일 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.