Search
leannode-core
Simple Node.js wrapper for Lean 4 theorem prover
1.0.0
main:
https:/unpkg.com/leannode-core@1.0.0/lib/index.js
Copy URL
Browse on unpkg
