❤

npm

@wacoq/elpi

0.16.0 • Public • Published 2 years ago

addon-elpi

Elpi addon plugin for jsCoq

Readme

Keywords

none

Package Sidebar

Install

npm i @wacoq/elpi

Repository

github.com/jscoq/addon-elpi

Homepage

github.com/jscoq/addon-elpi#readme

Weekly Downloads

1

Version

0.16.0

License

AGPL-3.0-or-later

Unpacked Size

1.77 MB

Total Files

4

Last publish

2 years ago

Collaborators

Try on RunKit

Report malware