skip to:
content
package search
sign in
❤
Pro
Teams
Pricing
Documentation
npm
Search
Sign Up
Sign In
mhuisi
2
Packages
0
Organizations
Packages
2
@leanprover/infoview-api
Types and API for @leanprover/infoview.
mhuisi
published 0.4.0 • a month ago
published 0.4.0 a month ago
@leanprover/infoview
An interactive display for the Lean 4 theorem prover.
mhuisi
published 0.7.0 • a month ago
published 0.7.0 a month ago