SponsorLobeHubLobeHubLearn more
dshfind
Back to plugins

math-lean

@Fisfzy
View Repo

dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)

Star
1
7-day growth
Contributors
1
Language
TypeScript
Updated
2026-08-13
Not an installable plugin package

The package.json declares no dsh.bundle, so even once installed into a profile it is never assembled. It may be an index list, documentation, a standalone app, or still in development — check the repo README for how to use it.

Share card

Drop it into your README — it links back to this page.

Badge (inline)
Badge (inline)
[![dshfind](https://dshfind.com/api/badge/Fisfzy/math-lean)](https://dshfind.com/en/plugins/Fisfzy/math-lean?ref=badge)
Card (440×200)
Card (440×200)
[![dshfind](https://dshfind.com/api/card/Fisfzy/math-lean)](https://dshfind.com/en/plugins/Fisfzy/math-lean?ref=badge)
#lean#math#proof-verification