lambda-prolog
There are 7 repositories under lambda-prolog topic.
LPCIC/elpi
Embeddable Lambda Prolog Interpreter
LPCIC/coq-elpi
Coq plugin embedding elpi
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.
KiJeong-Lim/ppap
Project Putting All Power!
cpiemontese/tlc-elpi
Interactive theorem proving in ELPI
shonfeder/99-lambda-prolog-problems
99 λProlog Problems (eventually)
voodoos/lp2tex
An Ugly, untested and mostly unsatifying translator from λProlog code to Latex inference rules