lean4-prover
Facilitates formal verification and theorem proving using Lean 4, enabling rigorous mathematical validation and proof search.
Install this skill
or
lean4-prover1 files
Comments
Sign in to leave a comment.
No comments yet. Be the first to comment!