alexandru-dinu/semantic-tableaux

Semantic Tableaux for simple PL.

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

话题：adt · knowledge-base · kripke · semantic-tableau

在 GitHub 上查看原仓库