@leanprover/infoview

v0.4.2-alpha.1
An interactive display for the Lean 4 theorem prover.

Readme Versions Dependencies Scripts
0.7.7 0.7.6 0.7.5 0.7.4 0.7.3 0.7.2 0.7.1 0.7.0 0.4.5 0.4.4 0.4.3 0.4.2 0.4.2-alpha.1 0.4.1-alpha.2 0.4.1 0.4.0 0.3.0 0.2.0 0.1.0
npm i @leanprover/[email protected]

Metadata

Downloads