KiJeong-Lim/portfolio

My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.

语言：TeX · GitHub 星标：14 · Fork：0

话题：lambda-prolog · lexer-generator · natural-deduction · parser-generator · portfolio · proofs

在 GitHub 上查看原仓库