Open Issues Need Help
View All on GitHub Support reshape and concat in the generic TorchLean IBP graph path about 2 hours ago
enhancement help wanted
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 about 2 hours ago
enhancement help wanted
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 about 2 hours ago
enhancement help wanted good first issue
Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
TypeScript
#formal-methods#interpretability#lean4#mathematics#theorem-proving#visualization