Skip to content
@LPCIC

λProlog and the Calculus of Inductive Constructions

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

Pinned Loading

  1. elpi elpi Public

    Embeddable Lambda Prolog Interpreter

    Prolog 355 44

  2. coq-elpi coq-elpi Public

    Coq plugin embedding elpi

    OCaml 187 71

Repositories

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 71 87 29 Updated Apr 2, 2026
  • elpi Public

    Embeddable Lambda Prolog Interpreter

    LPCIC/elpi’s past year of commit activity
    Prolog 355 LGPL-2.1 44 43 15 Updated Mar 18, 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
  • coq-elpi-lang Public

    VSCode extension for coq-elpi

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

    Website of coq-elpi

    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

People

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

Top languages

Loading…