@joneugster/infoview-api
unpublished
Types and API for @leanprover/infoview.
Ecosystem
npmjs.org
npmjs.org
Latest Release
almost 2 years ago
0.4.2
almost 2 years ago
Versions
3
3
Downloads
208 last month
208 last month
Loading...
Readme
Loading...
Links
| Registry | npmjs.org |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:npm/%40joneugster/infoview-api
spec |
| License | Apache-2.0 |
| Namespace | joneugster |
| First Release | almost 2 years ago |
| Last Synced | about 1 year ago |