LPCIC/elpi-lang LPCIC/elpi-lang

  • Stars
    star
    8
  • Rank 2,087,360 (Top 42 %)
  • Language
    JavaScript
  • License
    MIT License
  • Created over 5 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
LPCIC/elpi-lang
github

LPCIC

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

visual studio code extension for Elpi

More Repositories

1

elpi

Embeddable Lambda Prolog Interpreter
Prolog
277
star
2

coq-elpi

Coq plugin embedding elpi
OCaml
134
star
3

matita

Matita (proof assistant) with embedded elpi
OCaml
11
star
4

coq-elpi-lang

VSCode extension for coq-elpi
3
star