Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
TypeScript Updated about 1 month ago 1 commits
vortex-ai|Mirror: jdhart81/prooflens (⭐0)
about 1 month agoE2B SandboxFirecracker microVMtypescript
No executable code files found in this repository.
About
Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
Readme
3 forks