roboguy13/rewrite-logic

A simple proof assistant based on string rewriting (work in progress)

语言：Haskell · GitHub 星标：3 · Fork：1

话题：parsing · proof-assistant · rewriting · rewriting-system · string-rewriting

在 GitHub 上查看原仓库