GitHub topics: lambda-prolog
LPCIC/coq-elpi
Coq plugin embedding elpi
Language: Coq - Size: 10.1 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 166 - Forks: 59
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.
Size: 2.15 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 14 - Forks: 0
KiJeong-Lim/ppap
Project Putting All Power!
Language: Haskell - Size: 1.11 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 4 - Forks: 1
LPCIC/elpi
Embeddable Lambda Prolog Interpreter
Language: Prolog - Size: 40 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 310 - Forks: 38
shonfeder/99-lambda-prolog-problems
99 λProlog Problems (eventually)
Language: AMPL - Size: 27.3 KB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
voodoos/lp2tex
An Ugly, untested and mostly unsatifying translator from λProlog code to Latex inference rules
Language: Python - Size: 2.93 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
cpiemontese/tlc-elpi
Interactive theorem proving in ELPI
Size: 344 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
