leannode-core

Simple Node.js wrapper for Lean 4 theorem prover

v1.0.0 URL: https://unpkg.com/leannode-core@1.0.0/lib/index.js

Open Browse Files

lean lean4 theorem-prover formal-verification