GitHub / 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.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/KiJeong-Lim%2Fportfolio
PURL: pkg:github/KiJeong-Lim/portfolio
Stars: 14
Forks: 0
Open issues: 2
License: None
Language: TeX
Size: 12.2 MB
Dependencies parsed at: Pending
Created at: over 4 years ago
Updated at: 17 days ago
Pushed at: 17 days ago
Last synced at: 17 days ago
Topics: lambda-prolog, lexer-generator, natural-deduction, parser-generator, portfolio, proofs