formal-methods plugins

The directory indexes 6 plugins tagged “formal-methods” from 1 public source repositories, with 6 skills and 0 MCP servers across the collection.

6 plugins1 repositories0 cross-runtimeIndexing methodology →

tag: formal-methods Clear all

write-formalization-roadmap
by Christopher Boone
Document-structure guide for multi-milestone formalization roadmaps in Lean, Rocq, Isabelle, HOL, and other proof assistants.
Claude Code1 Skill
2Updated last week
write-formalization-roadmap
by Christopher Boone
Document-structure guide for multi-milestone formalization roadmaps in Lean, Rocq, Isabelle, HOL, and other proof assistants.
Claude Code1 Skill
2Updated last week
write-lean-code
by Christopher Boone
Lean 4 style guide and Mathlib conventions for naming, proofs, formatting, and metaprogramming.
Claude Code1 Skill
2Updated last week
write-lean-code
by Christopher Boone
Lean 4 style guide and Mathlib conventions for naming, proofs, formatting, and metaprogramming.
Claude Code1 Skill
2Updated last week
write-lean-tests
by Christopher Boone
Conventions for compile-time, example-based Lean 4 API regression tests that mirror a library's public surface.
Claude Code1 Skill
2Updated last week
write-lean-tests
by Christopher Boone
Conventions for compile-time, example-based Lean 4 API regression tests that mirror a library's public surface.
Claude Code1 Skill
2Updated last week