hckrnws
1 month ago
Sun Dec 14, 2025 1:49am PST
Lean theorem prover mathlib
@downboots
read article
comments:
add comment
loading comments...