Iris

Iris는 Coq으로 구현된 고차(higher-order), 동시적(concurrent) 분리 논리 프레임워크이다.

외부 링크

• 공식 웹사이트