Package Usage: npm: @leanprover/infoview
An interactive display for the Lean 4 theorem prover.
19 versions
Latest release: environ 2 ans ago
1 dependent package
651 downloads last month
View more package details: https://packages.ecosystem.code.gouv.fr/registries/npmjs.org/packages/@leanprover/infoview