GitHub topics: lambda-prolog
KiJeong-Lim/ppap
Project Putting All Power!
Language: Haskell - Size: 1.12 MB - Last synced at: about 2 hours ago - Pushed at: about 3 hours ago - Stars: 4 - Forks: 1
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: 13.7 MB - Last synced at: about 6 hours ago - Pushed at: about 6 hours ago - Stars: 14 - Forks: 0
LPCIC/coq-elpi
Coq plugin embedding elpi
Language: Rocq Prover - Size: 10.2 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 169 - Forks: 60
LPCIC/elpi
Embeddable Lambda Prolog Interpreter
Language: Prolog - Size: 41.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 312 - Forks: 37
shonfeder/99-lambda-prolog-problems
99 λProlog Problems (eventually)
Language: AMPL - Size: 27.3 KB - Last synced at: 7 days ago - Pushed at: about 3 years ago - Stars: 3 - 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: 3 months 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: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
