UNPKG
leannode-core
Version:
latest (1.0.0)
1.0.0
Simple Node.js wrapper for Lean 4 theorem prover
leannode-core
2 folders,
2 files
Filename
Content Type
Size
lib/
–
1.74 kB
test/
–
1.86 kB
README.md
text/markdown
1.27 kB
package.json
application/json
461 B
About
Releases
Latest:
1.0.0
6 months ago