lean-proof-walk
Facilitates GF(3)-balanced random walks through Lean proof states for generating formal proof chains with triad verification.
Install this skill
or
lean-proof-walk2 files
Comments
Sign in to leave a comment.
No comments yet. Be the first to comment!
Install this skill with one command
/learn @plurigrid/lean-proof-walk