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 Public

    Embeddable Lambda Prolog Interpreter

    Prolog 305 38

  2. coq-elpi Public

    Coq plugin embedding elpi

    Coq 160 57

Repositories

Showing 6 of 6 repositories
  • elpi Public

    Embeddable Lambda Prolog Interpreter

    Prolog 305 LGPL-2.1 38 38 13 Updated Mar 24, 2025
  • coq-elpi Public

    Coq plugin embedding elpi

    Coq 160 LGPL-2.1 57 61 16 Updated Mar 24, 2025
  • elpi-lang Public

    visual studio code extension for Elpi

    JavaScript 8 MIT 1 8 0 Updated Feb 10, 2025
  • coq-elpi-lang Public

    VSCode extension for coq-elpi

    3 MIT 0 1 0 Updated Nov 28, 2024
  • coq-elpi-www Public archive

    Website of coq-elpi

    HTML 0 0 0 0 Updated Oct 17, 2018
  • matita Public

    Matita (proof assistant) with embedded elpi

    OCaml 12 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.

Most used topics

Loading…