home/categories/code-quality/prismer-ai-prismer-docker-plugin-prismer-workspace-skills-formal-methods-skill-md
code-qualitytesting-security
formal-methods
Verify proofs, check theorem correctness, and solve satisfiability problems using Lean 4, Coq, and Z3 SMT solver. Use when the user asks to prove theorems, verify mathematical proofs, check logical satisfiability, or work with proof assistants.
maintainer
Prismer-AI
আপডেট হয়েছে 3/19/2026
স্টার
848
ফর্ক
31
quick start
Installation and usage
Verify proofs, check theorem correctness, and solve satisfiability problems using Lean 4, Coq, and Z3 SMT solver. Use when the user asks to prove theorems, verify mathematical proofs, check logical satisfiability, or work with proof assistants.
ইনস্টলেশন
$ install --globalskills.sh
ব্যবহার
ইনস্টল করার পর, টার্মিনালে নিচের কমান্ড চালিয়ে আপনি এই স্কিল ব্যবহার করতে পারবেন:
skills use formal-methods