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
Mis à jour 3/19/2026
Étoiles
848
Forks
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.
Installation
$ install --globalskills.sh
Utilisation
Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :
skills use formal-methods