GitHub
@leanprover/infoview
v0.7.2
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
Apache-2.0
Whatever
Unknown
released 6/20/2024
Downloads
Downloads Tab Here
Maintainers
mhuisi
gebner
clovett
vtec234