컴파일되는 연구: 타입이 지정된 주장, 충돌 감지 및 다음 작업

Research that compiles: typed claims, conflict detection and next actions