LPCIC/coq-elpi-lang LPCIC/coq-elpi-lang

  • Stars
    star
    3
  • Rank 3,943,113 (Top 79 %)
  • Language
  • License
    MIT License
  • Created over 5 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
LPCIC/coq-elpi-lang
github

LPCIC

Reviews

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

Repository Details

VSCode extension for coq-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

elpi-lang

visual studio code extension for Elpi
JavaScript
8
star