소유자 · uwplse

uwplse

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

리포지토리 1개

#1
verdi ↗@uwplseRocq Prover
Coq에서 분산 시스템 구현을 형식적으로 검증하기 위한 프레임워크
★ 626+0최근 7일 스타 변화