engboris/stellogen

An experimental language exploring computation and meaning through term unification, with logic-agnostic types.

语言：OCaml · GitHub 星标：138 · Fork：13

话题：formal-methods · formal-specification · logic · logic-programming · optional-typing · proof-assistant · transcendental-syntax · type-theory

在 GitHub 上查看原仓库