Sign in Sign up
npm

leannode-core

Simple Node.js wrapper for Lean 4 theorem prover

npm View on Npm

Activity

Latest release
1y ago
Total releases
1
Cadence
—
Last 12 months
0

Details

License
MIT
First release
Jun 28, 2025
Releases
Version Released
1.0.0 initial