FStar

An ML-like language aimed at program verification

기업문화 엿볼 때, 더팀스

로그인

/