jdhart81

jdhart81/prooflens

Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.

0 stars 0 forks 0 watchers TypeScript Apache License 2.0
formal-methods interpretability lean4 mathematics theorem-proving visualization
View on GitHub Website
3 Open Issues Need Help Last updated: Aug 29, 2026

Open Issues Need Help

View All on GitHub
Support reshape and concat in the generic TorchLean IBP graph path 24 days ago
enhancement help wanted
jdhart81/prooflens
0

Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.

TypeScript
#formal-methods#interpretability#lean4#mathematics#theorem-proving#visualization
Certify all 360 pinned TorchLean digits examples in Lean 24 days ago
enhancement help wanted
jdhart81/prooflens
0

Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.

TypeScript
#formal-methods#interpretability#lean4#mathematics#theorem-proving#visualization
Good first issue: visualize Function.Injective declarations 24 days ago
enhancement help wanted good first issue
jdhart81/prooflens
0

Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.

TypeScript
#formal-methods#interpretability#lean4#mathematics#theorem-proving#visualization