lean4 plugins

The directory indexes 4 plugins tagged “lean4” from 1 public source repositories, with 4 skills and 0 MCP servers across the collection.

4 plugins1 repositories0 cross-runtimeIndexing methodology →

tag: lean4 Clear all

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