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