h2co3w/scholia
A formal proof is legible to a compiler, not to a mathematician. This DSH plugin renders a Lean 4 / Mathlib theorem as a paper page and reduces its 1,829-module dependency cone to one readable main li
🔌 Network
undeclared
⏳ Sandbox
untested
Who this is for
- developers using DSH for coding with Git workflows
下载量 / Downloads
0
Install
dsh plugin --profile web add h2co3w/scholia
Sandbox test
This plugin has not been tested yet. Submit a test →
Links
Frequently asked
How do I install h2co3w/scholia?
Run
dsh plugin --profile web add h2co3w/scholia in DSH, or paste the package name into the DSH Desktop plugin page.What if it fails to install?
Check your DSH version first (
dsh --version), then look at the first error in the test-results section. If it still fails, open an issue on the repository.How do I uninstall it?
Run
dsh plugin --profile web remove h2co3w/scholia.