Neovim support for the Lean theorem prover
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.
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Nix overlay for Lean 4, and lake2nix