λProlog and the Calculus of Inductive Constructions

@LPCIC

Let's boost λProlog to implement an elaborator for CIC!

Pinned Loading

Showing 6 of 6 repositories

coq-elpi Public
Coq plugin embedding elpi

LPCIC/coq-elpi’s past year of commit activity

OCaml
187
LGPL-2.1
73 87 34
Updated Apr 17, 2026
elpi Public
Embeddable Lambda Prolog Interpreter

LPCIC/elpi’s past year of commit activity

Prolog
357
LGPL-2.1
44 42 14
Updated Apr 15, 2026
elpi-lang Public
visual studio code extension for Elpi

LPCIC/elpi-lang’s past year of commit activity

JavaScript
7
MIT
1 8 4
Updated Feb 12, 2026
LPCIC/coq-elpi-lang’s past year of commit activity

3
MIT 0
1 0
Updated Nov 4, 2025
LPCIC/coq-elpi-www’s past year of commit activity

HTML 0 0
0 0
Updated Oct 17, 2018
matita Public archive
Matita (proof assistant) with embedded elpi

LPCIC/matita’s past year of commit activity

OCaml
15 3 3 0
Updated Jan 30, 2018

This organization has no public members. You must be a member to see who’s a part of this organization.

Loading…