Package Usage: npm: @leanprover/infoview-api
Types and API for @leanprover/infoview.
5 versions
Latest release: over 2 years ago
2 dependent packages
683 downloads last month
View more package details: https://packages.ecosystem.code.gouv.fr/registries/npmjs.org/packages/@leanprover/infoview-api