GitHub topics: lambda-prolog
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.
taille: 10,5 Mo - dernière synchronisation: il y a 9 jours - enregistré: il y a 9 jours - étoiles: 14 - forks: 0
LPCIC/elpi
Embeddable Lambda Prolog Interpreter
langage: Prolog - taille: 41,6 Mo - dernière synchronisation: il y a 9 jours - enregistré: il y a 9 jours - étoiles: 312 - forks: 37
shonfeder/99-lambda-prolog-problems
99 λProlog Problems (eventually)
langage: AMPL - taille: 27,3 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 3 ans - étoiles: 3 - forks: 0
LPCIC/coq-elpi
Coq plugin embedding elpi
langage: Coq - taille: 10,4 Mo - dernière synchronisation: il y a 15 jours - enregistré: il y a 17 jours - étoiles: 167 - forks: 59
KiJeong-Lim/ppap
Project Putting All Power!
langage: Haskell - taille: 1,11 Mo - dernière synchronisation: il y a environ un mois - enregistré: il y a environ un mois - étoiles: 4 - forks: 1
voodoos/lp2tex
An Ugly, untested and mostly unsatifying translator from λProlog code to Latex inference rules
langage: Python - taille: 2,93 ko - dernière synchronisation: il y a environ 2 mois - enregistré: il y a presque 7 ans - étoiles: 1 - forks: 0
cpiemontese/tlc-elpi
Interactive theorem proving in ELPI
taille: 344 ko - dernière synchronisation: il y a environ 2 ans - enregistré: il y a plus de 6 ans - étoiles: 2 - forks: 0
