Lean Theorem Prover Mathlib
20 points
4 hours ago
| 0 comments
| github.com
| HN
No one has commented on this post.