Open Issues Need Help
View All on GitHub Planned major dependency upgrades 23 days ago
help wanted dependencies
jdhart81/prooflens jdhart81/prooflens Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
Open project →
0
Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
TypeScript
#formal-methods#interpretability#lean4#mathematics#theorem-proving#visualization
bug help wanted good first issue
jdhart81/prooflens jdhart81/prooflens Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
Open project →
0
Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
TypeScript
#formal-methods#interpretability#lean4#mathematics#theorem-proving#visualization
bug help wanted good first issue
jdhart81/prooflens jdhart81/prooflens Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
Open project →
0
Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
TypeScript
#formal-methods#interpretability#lean4#mathematics#theorem-proving#visualization
Support reshape and concat in the generic TorchLean IBP graph path about 2 months ago
enhancement help wanted
jdhart81/prooflens jdhart81/prooflens Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
Open project →
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 about 2 months ago
enhancement help wanted
jdhart81/prooflens jdhart81/prooflens Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
Open project →
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 about 2 months ago
enhancement help wanted good first issue
jdhart81/prooflens jdhart81/prooflens Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
Open project →
0
Visual interpretability for formal mathematics — Lean 4 theorems become explanations, figures, and proof animations.
TypeScript
#formal-methods#interpretability#lean4#mathematics#theorem-proving#visualization