콘텐츠로 이동
Deotonic — 번복 가능 의무논리를 위한 Curry-Howard 대응
한국 민법 (민법)
English
한국어
검색 초기화
jhhuh/deontic
Deotonic — 번복 가능 의무논리를 위한 Curry-Howard 대응
jhhuh/deontic
홈
한국 민법
한국 민법
판례 시연
한국 민법 (민법)
¶
민법 조문의 프레임워크 인코딩.
자세한 내용은
영문 문서
를 참조하세요.