0.6.2 • Published 1 year ago
@joneugster/infoview v0.6.2
Lean 4 Infoview
Temporary WIP version. The real package is at https://www.npmjs.com/package/@leanprover/infoview
Temporary WIP version. The real package is at https://www.npmjs.com/package/@leanprover/infoview