소유자 · AbsInt

AbsInt

AbsInt의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리 1개

#1
CompCert ↗@AbsIntRocq Prover
CompCert 형식 검증(formally-verified) C 컴파일러
★ 2,220+5최근 7일 스타 변화