All Git Users → LPCIC

2 open source projects by LPCIC

[ Open user page on Github ]

Embeddable Lambda Prolog Interpreter

✭ 126

prolog constraints

Coq plugin embedding elpi

✭ 92

ocaml Coq prolog Nix coq extension-language lambda-prolog

1-2 of 2 user projects