jhhuh/deontic

Curry-Howard isomorphism for deontic logic — formalizing Korean Civil Act with Haskell type-level stratified defeasibility

语言：Haskell · GitHub 星标：6 · Fork：0

话题：curry-howard · defeasible-reasoning · deontic-logic · formal-methods · haskell · korean-civil-act · legal-reasoning · type-level-programming

在 GitHub 上查看原仓库