lambda-prolog topic

List lambda-prolog repositories

elpi

262
Stars
32
Forks
Watchers

Embeddable Lambda Prolog Interpreter

verified publisher icon LPCIC

coq-elpi

128
Stars
48
Forks
Watchers

Coq plugin embedding elpi

verified publisher icon LPCIC