Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.
- access-control
- authorization
- backend-framework
- cedar
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
Nix overlay for Lean 4, and lake2nix