astrio-labs의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
Forall (∀)은 Astrio에서 개발한 코딩 에이전트로, 사양 기반 코드와 기계 검증 가능한 증명을 생성하여 올바른 소프트웨어 구축을 돕습니다.
